author | wenzelm |
Wed, 02 Mar 2016 19:43:31 +0100 | |
changeset 62498 | 5dfcc9697f29 |
parent 59810 | e749a0f2f401 |
child 64622 | 529bbb8977c7 |
permissions | -rw-r--r-- |
56988 | 1 |
#hard-wired components |
43284
04d473e883df
build jedit as part of regular startup script (in that case depending on jedit_build component);
wenzelm
parents:
42105
diff
changeset
|
2 |
src/Tools/jEdit |
49558 | 3 |
src/Tools/Graphview |
46318 | 4 |
src/HOL/Mirabelle |
5 |
src/HOL/Mutabelle |
|
6 |
src/HOL/Library/Sum_of_Squares |
|
59810
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
59480
diff
changeset
|
7 |
src/HOL/SPARK |
52639 | 8 |
src/HOL/Tools |
38048 | 9 |
src/HOL/Tools/ATP |
46318 | 10 |
src/HOL/TPTP |