author | Walther Neuper <walther.neuper@jku.at> |
Wed, 23 Sep 2020 15:18:07 +0200 | |
changeset 60065 | 46266dc209cd |
parent 59606 | c3925099d59f |
child 60166 | 7d6f46b7fc10 |
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.1-1
16 contrib/cvc4-1.5-5
17 contrib/e-2.0-3
18 contrib/isabelle_fonts-20190717
19 contrib/jdk-11.0.5+10
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.6
25 contrib/polyml-5.8.1-20200228
26 contrib/postgresql-42.2.9
27 contrib/scala-2.12.10
28 contrib/smbc-0.4.1
29 contrib/spass-3.8ds-1
30 contrib/sqlite-jdbc-3.30.1
31 contrib/ssh-java-20190323
32 contrib/stack-2.1.3
33 contrib/vampire-4.2.2
34 contrib/xz-java-1.8
35 contrib/z3-4.4.0pre-3