| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 21 Nov 2013 08:43:38 +0100 | |
| changeset 55273 | 42cfceea172c |
| parent 55272 | 6e943f644cca |
| child 55281 | 56cdb1fab04e |
| permissions | -rw-r--r-- |
| haftmann@32481 | 1 |
src/Tools/Code |
| wenzelm@44164 | 2 |
src/Tools/jEdit |
| wenzelm@50573 | 3 |
src/Tools/Graphview |
| kleing@33817 | 4 |
src/Tools/WWW_Find |
| blanchet@47146 | 5 |
src/HOL/Mirabelle |
| blanchet@47146 | 6 |
src/HOL/Mutabelle |
| blanchet@47146 | 7 |
src/HOL/Library/Sum_of_Squares |
| wenzelm@53776 | 8 |
src/HOL/Tools |
| blanchet@38294 | 9 |
src/HOL/Tools/ATP |
| blanchet@51235 | 10 |
src/HOL/Tools/Sledgehammer/MaSh |
| boehmes@36890 | 11 |
src/HOL/Tools/SMT |
| blanchet@47146 | 12 |
src/HOL/TPTP |
| neuper@55273 | 13 |
#bundled components |
| neuper@55273 | 14 |
contrib/cvc3-2.4.1 |
| neuper@55273 | 15 |
contrib/e-1.8 |
| neuper@55273 | 16 |
contrib/exec_process-1.0.3 |
| neuper@55273 | 17 |
contrib/Haskabelle-2013 |
| neuper@55273 | 18 |
contrib/jdk |
| neuper@55273 | 19 |
contrib/jfreechart-1.0.14-1 |
| neuper@55273 | 20 |
contrib/kodkodi-1.5.2 |
| neuper@55273 | 21 |
contrib/polyml-5.5.1-1 |
| neuper@55273 | 22 |
contrib/scala-2.10.3 |
| neuper@55273 | 23 |
contrib/spass-3.8ds |
| neuper@55273 | 24 |
contrib/z3-3.2 |
| neuper@55273 | 25 |
contrib/xz-java-1.2-1 |
| neuper@55273 | 26 |
contrib/ProofGeneral-4.2 |