| author | Walther Neuper <walther.neuper@jku.at> |
| Tue, 03 Sep 2019 16:10:31 +0200 | |
| changeset 59606 | c3925099d59f |
| parent 59451 | 71b442e82416 |
| child 60065 | 46266dc209cd |
| permissions | -rw-r--r-- |
1 #hard-wired components
2 src/Tools/jEdit
3 src/Tools/Graphview
4 src/Tools/VSCode
5 src/HOL/Mirabelle
6 src/HOL/Mutabelle
7 src/HOL/Library/Sum_of_Squares
8 src/HOL/SPARK
9 src/HOL/Tools
10 src/HOL/Tools/ATP
11 src/HOL/TPTP
12 #bundled components
13 contrib/bash_process-1.2.3
14 contrib/bib2xhtml-20190409
15 contrib/csdp-6.x
16 contrib/cvc4-1.5-5
17 contrib/e-2.0-2
18 contrib/isabelle_fonts-20190409
19 contrib/jdk-11.0.3+7
20 contrib/jfreechart-1.5.0
21 contrib/jortho-1.0-2
22 contrib/kodkodi-1.5.2-1
23 contrib/nunchaku-0.5
24 contrib/opam-2.0.3-1
25 contrib/polyml-5.8
26 contrib/postgresql-42.2.5
27 contrib/scala-2.12.7
28 contrib/smbc-0.4.1
29 contrib/spass-3.8ds-1
30 contrib/sqlite-jdbc-3.27.2.1
31 contrib/ssh-java-20190323
32 contrib/stack-1.9.3
33 contrib/vampire-4.2.2
34 contrib/xz-java-1.8
35 contrib/z3-4.4.0pre-3