wenzelm@58330: #hard-wired components
wenzelm@44164: src/Tools/jEdit
wenzelm@50573: src/Tools/Graphview
wneuper@59324: src/Tools/VSCode
blanchet@47146: src/HOL/Mirabelle
blanchet@47146: src/HOL/Mutabelle
blanchet@47146: src/HOL/Library/Sum_of_Squares
wneuper@59180: src/HOL/SPARK
wenzelm@53776: src/HOL/Tools
blanchet@38294: src/HOL/Tools/ATP
blanchet@47146: src/HOL/TPTP
wneuper@59324: #bundled components
walther@59606: contrib/bash_process-1.2.3
walther@59606: contrib/bib2xhtml-20190409
walther@60065: contrib/csdp-6.1-1
walther@59606: contrib/cvc4-1.5-5
walther@60065: contrib/e-2.0-3
walther@60065: contrib/isabelle_fonts-20190717
walther@60065: contrib/jdk-11.0.5+10
wneuper@59451: contrib/jfreechart-1.5.0
wneuper@59324: contrib/jortho-1.0-2
wneuper@59451: contrib/kodkodi-1.5.2-1
wneuper@59324: contrib/nunchaku-0.5
walther@60065: contrib/opam-2.0.6
walther@60065: contrib/polyml-5.8.1-20200228
walther@60065: contrib/postgresql-42.2.9
walther@60065: contrib/scala-2.12.10
wneuper@59324: contrib/smbc-0.4.1
wneuper@59451: contrib/spass-3.8ds-1
walther@60065: contrib/sqlite-jdbc-3.30.1
walther@59606: contrib/ssh-java-20190323
walther@60065: contrib/stack-2.1.3
wneuper@59451: contrib/vampire-4.2.2
wneuper@59451: contrib/xz-java-1.8
walther@59606: contrib/z3-4.4.0pre-3