author | Walther Neuper <wneuper@ist.tugraz.at> |
Fri, 19 Jan 2018 12:49:17 +0100 | |
changeset 59324 | ec559c6ab5ba |
parent 59180 | 85ec71012df8 |
child 59451 | 71b442e82416 |
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.1
14 contrib/csdp-6.x
15 contrib/cvc4-1.5-3
16 contrib/e-2.0-1
17 contrib/isabelle_fonts-20160830
18 contrib/jdk
19 contrib/jfreechart-1.0.14-1
20 contrib/jortho-1.0-2
21 contrib/kodkodi-1.5.2
22 contrib/nunchaku-0.5
23 contrib/polyml-5.6-1
24 contrib/postgresql-42.1.4
25 contrib/scala-2.12.3
26 contrib/smbc-0.4.1
27 contrib/ssh-java-20161009
28 contrib/spass-3.8ds
29 contrib/sqlite-jdbc-3.20.0
30 contrib/xz-java-1.6
31 contrib/z3-4.4.0pre