| author | Walther Neuper <walther.neuper@jku.at> |
| Wed, 11 Mar 2020 15:25:52 +0100 | |
| changeset 59827 | 168abe8dd1e3 |
| parent 59606 | c3925099d59f |
| child 60065 | 46266dc209cd |
| permissions | -rw-r--r-- |
| wenzelm@58330 | 1 |
#hard-wired components |
| wenzelm@44164 | 2 |
src/Tools/jEdit |
| wenzelm@50573 | 3 |
src/Tools/Graphview |
| wneuper@59324 | 4 |
src/Tools/VSCode |
| blanchet@47146 | 5 |
src/HOL/Mirabelle |
| blanchet@47146 | 6 |
src/HOL/Mutabelle |
| blanchet@47146 | 7 |
src/HOL/Library/Sum_of_Squares |
| wneuper@59180 | 8 |
src/HOL/SPARK |
| wenzelm@53776 | 9 |
src/HOL/Tools |
| blanchet@38294 | 10 |
src/HOL/Tools/ATP |
| blanchet@47146 | 11 |
src/HOL/TPTP |
| wneuper@59324 | 12 |
#bundled components |
| walther@59606 | 13 |
contrib/bash_process-1.2.3 |
| walther@59606 | 14 |
contrib/bib2xhtml-20190409 |
| wneuper@59324 | 15 |
contrib/csdp-6.x |
| walther@59606 | 16 |
contrib/cvc4-1.5-5 |
| wneuper@59451 | 17 |
contrib/e-2.0-2 |
| walther@59606 | 18 |
contrib/isabelle_fonts-20190409 |
| walther@59606 | 19 |
contrib/jdk-11.0.3+7 |
| wneuper@59451 | 20 |
contrib/jfreechart-1.5.0 |
| wneuper@59324 | 21 |
contrib/jortho-1.0-2 |
| wneuper@59451 | 22 |
contrib/kodkodi-1.5.2-1 |
| wneuper@59324 | 23 |
contrib/nunchaku-0.5 |
| walther@59606 | 24 |
contrib/opam-2.0.3-1 |
| walther@59606 | 25 |
contrib/polyml-5.8 |
| walther@59606 | 26 |
contrib/postgresql-42.2.5 |
| walther@59606 | 27 |
contrib/scala-2.12.7 |
| wneuper@59324 | 28 |
contrib/smbc-0.4.1 |
| wneuper@59451 | 29 |
contrib/spass-3.8ds-1 |
| walther@59606 | 30 |
contrib/sqlite-jdbc-3.27.2.1 |
| walther@59606 | 31 |
contrib/ssh-java-20190323 |
| walther@59606 | 32 |
contrib/stack-1.9.3 |
| wneuper@59451 | 33 |
contrib/vampire-4.2.2 |
| wneuper@59451 | 34 |
contrib/xz-java-1.8 |
| walther@59606 | 35 |
contrib/z3-4.4.0pre-3 |