Admin/components/main
author wenzelm
Fri Nov 30 16:34:11 2012 +0100 (2012-11-30)
changeset 50294 dceb1daa185c
parent 50293 4eea6572896e
child 50309 38870ee59311
permissions -rw-r--r--
updated to jdk-7u9;
     1 #main components for everyday use, without big impact on overall build time
     2 cvc3-2.4.1
     3 e-1.6
     4 exec_process-1.0.3
     5 jdk-7u9
     6 jedit_build-20120903
     7 kodkodi-1.5.2
     8 polyml-5.5.0
     9 scala-2.9.2
    10 spass-3.8ds
    11 z3-4.0