author | Walther Neuper <walther.neuper@jku.at> |
Mon, 08 Mar 2021 09:11:09 +0100 | |
changeset 60166 | 7d6f46b7fc10 |
parent 60065 | 46266dc209cd |
child 60191 | 5a57ed337396 |
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-1
14 contrib/bib2xhtml-20190409
15 contrib/csdp-6.1.1
16 contrib/cvc4-1.8
17 contrib/e-2.5-1
18 contrib/flatlaf-1.0
19 contrib/isabelle_fonts-20190717
20 contrib/jdk-15.0.2+7
21 contrib/jfreechart-1.5.1
22 contrib/jortho-1.0-2
23 contrib/kodkodi-1.5.6
24 contrib/nunchaku-0.5
25 contrib/opam-2.0.7
26 contrib/polyml-test-f86ae3dc1686
27 contrib/postgresql-42.2.18
28 contrib/scala-2.13.4-1
29 contrib/smbc-0.4.1
30 contrib/spass-3.8ds-2
31 contrib/sqlite-jdbc-3.34.0
32 contrib/ssh-java-20190323
33 contrib/stack-2.5.1
34 contrib/vampire-4.2.2
35 contrib/verit-2020.10-rmx-1
36 contrib/xz-java-1.8
37 contrib/z3-4.4.0pre-3
38 contrib/zipperposition-2.0-1
39 contrib/naproche-755224402e36