author | blanchet |
Tue, 03 Jun 2014 14:38:41 +0200 | |
changeset 57167 | d42a5c885cd5 |
parent 57049 | 2fdd5a0a1f9f |
child 57392 | f7a604a2fa63 |
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 |
56936
6dd8866eca69
more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion;
wenzelm
parents:
56726
diff
changeset
|
7 |
jedit_build-20140511 |
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 |
56960 | 11 |
polyml-5.5.2 |
57049
2fdd5a0a1f9f
updated to scala-2.11.1, with full uncensored classpath;
wenzelm
parents:
56960
diff
changeset
|
12 |
scala-2.11.1 |
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 |
57167
d42a5c885cd5
new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7
blanchet
parents:
57049
diff
changeset
|
15 |
z3-4.3.2pre-1 |
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 |