Admin/components/main
author wenzelm
Thu Sep 12 13:23:54 2013 +0200 (2013-09-12)
changeset 53576 793a429c63e7
parent 53522 c5d2ef007d81
child 53626 da1c7b50fdfe
permissions -rw-r--r--
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);
ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@48843
     2
cvc3-2.4.1
blanchet@53014
     3
e-1.8
wenzelm@50293
     4
exec_process-1.0.3
noschinl@50921
     5
Haskabelle-2013
wenzelm@53417
     6
jdk-7u25
wenzelm@53522
     7
jedit_build-20130910
wenzelm@53576
     8
jfreechart-1.0.14-1
blanchet@50230
     9
kodkodi-1.5.2
wenzelm@51066
    10
polyml-5.5.0-3
wenzelm@52423
    11
scala-2.10.2
wenzelm@48843
    12
spass-3.8ds
blanchet@50343
    13
z3-3.2
wenzelm@53576
    14
xz-java-1.2-1