author | Walther Neuper <wneuper@ist.tugraz.at> |
Sat, 05 Dec 2015 14:26:56 +0100 | |
changeset 59179 | 91acbb24e371 |
parent 59105 | 976e73e11d9a |
child 59180 | 85ec71012df8 |
permissions | -rw-r--r-- |
1 #hard-wired components
2 src/Tools/Code
3 src/Tools/jEdit
4 src/Tools/Graphview
5 src/HOL/Mirabelle
6 src/HOL/Mutabelle
7 src/HOL/Library/Sum_of_Squares
8 src/HOL/Tools
9 src/HOL/Tools/ATP
10 src/HOL/TPTP
11 #bundled components
12 contrib/cvc3-2.4.1
13 contrib/e-1.8
14 contrib/exec_process-1.0.3
15 contrib/Haskabelle-2014
16 contrib/jdk
17 contrib/jfreechart-1.0.14-1
18 contrib/jortho-1.0-2
19 contrib/kodkodi-1.5.2
20 contrib/polyml-5.5.2-1
21 contrib/scala-2.11.2
22 contrib/spass-3.8ds
23 contrib/z3-3.2-1
24 contrib/z3-4.3.2pre-1
25 contrib/xz-java-1.2-1