author | wenzelm |
Sat, 05 Apr 2014 15:03:40 +0200 | |
changeset 56421 | 1ffd7eaa778b |
parent 56274 | 71eab6907eee |
child 56547 | e9bb73d7b6cf |
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 |
53626 | 6 |
jdk-7u40 |
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 |
50230 | 9 |
kodkodi-1.5.2 |
54374
594628261376
updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);
wenzelm
parents:
54371
diff
changeset
|
10 |
polyml-5.5.1-1 |
56274 | 11 |
scala-2.10.4 |
48843 | 12 |
spass-3.8ds |
55007
0c07990363a3
activation of Z3 via "z3_non_commercial" system option (without requiring restart);
wenzelm
parents:
54374
diff
changeset
|
13 |
z3-3.2-1 |
56110
9c1a6dff3e86
added Z3 4.3.0 as component (for use with 'smt2' method)
blanchet
parents:
55491
diff
changeset
|
14 |
z3-4.3.0 |
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
|
15 |
xz-java-1.2-1 |
56110
9c1a6dff3e86
added Z3 4.3.0 as component (for use with 'smt2' method)
blanchet
parents:
55491
diff
changeset
|
16 |
ProofGeneral-4.2-1 |