#hard-wired components
src/Tools/jEdit
src/Tools/Graphview
src/Tools/VSCode
src/HOL/Mirabelle
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares
src/HOL/SPARK
src/HOL/Tools
src/HOL/Tools/ATP
src/HOL/TPTP
#bundled components
#bundled:bash_process-1.2.3
#bundled:bib2xhtml-20190409
#bundled:csdp-6.x
#bundled:cvc4-1.5-5
#bundled:e-2.0-2
#bundled:isabelle_fonts-20190409
#bundled:jdk-11.0.3+7
#bundled:jfreechart-1.5.0
#bundled:jortho-1.0-2
#bundled:kodkodi-1.5.2-1
#bundled:nunchaku-0.5
#bundled:opam-2.0.3-1
#bundled:polyml-5.8
#bundled:postgresql-42.2.5
#bundled:scala-2.12.7
#bundled:smbc-0.4.1
#bundled:spass-3.8ds-1
#bundled:sqlite-jdbc-3.27.2.1
#bundled:ssh-java-20190323
#bundled:stack-1.9.3
#bundled:vampire-4.2.2
#bundled:xz-java-1.8
#bundled:z3-4.4.0pre-3
#bundled-linux:linux_app-20131007
#bundled-windows:sumatra_pdf-3.1.2
#bundled-windows:cygwin-20190524
#bundled-windows:windows_app-20181006
#bundled-macos:macos_app-20181208
