author | blanchet |
Fri, 25 Apr 2014 22:13:17 +0200 | |
changeset 56726 | 9fba10c97aef |
parent 56660 | 5d629da46f04 |
child 56936 | 6dd8866eca69 |
permissions | -rw-r--r-- |
48847 | 1 |
#main components for everyday use, without big impact on overall build time |
48843 | 2 |
cvc3-2.4.1 |
53014 | 3 |
e-1.8 |
50293 | 4 |
exec_process-1.0.3 |
50921 | 5 |
Haskabelle-2013 |
56607 | 6 |
jdk-8u5 |
56421
1ffd7eaa778b
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
wenzelm
parents:
56274
diff
changeset
|
7 |
jedit_build-20140405 |
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53522
diff
changeset
|
8 |
jfreechart-1.0.14-1 |
56596
40edc550667c
updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
wenzelm
parents:
56557
diff
changeset
|
9 |
jortho-1.0-2 |
50230 | 10 |
kodkodi-1.5.2 |
54374
594628261376
updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);
wenzelm
parents:
54371
diff
changeset
|
11 |
polyml-5.5.1-1 |
56660
5d629da46f04
updated to scala-2.11.0 with classpath provided by its etc/settings;
wenzelm
parents:
56607
diff
changeset
|
12 |
scala-2.11.0 |
48843 | 13 |
spass-3.8ds |
55007
0c07990363a3
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm
parents:
54374
diff
changeset
|
14 |
z3-3.2-1 |
56726 | 15 |
z3-4.3.2pre |
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53522
diff
changeset
|
16 |
xz-java-1.2-1 |
56110
9c1a6dff3e86
added Z3 4.3.0 as component (for use with 'smt2' method)
blanchet
parents:
55491
diff
changeset
|
17 |
ProofGeneral-4.2-1 |