Admin/components/main
author wenzelm
Wed, 19 Sep 2012 18:01:48 +0200
changeset 49447 bec1add86e79
parent 49401 617869cd779c
child 49552 30fe027a18bd
permissions -rw-r--r--
universal component exec_process -- avoids special Admin/components/windows and might actually improve stability of forked processes (without using perl);

#main components for everyday use, without big impact on overall build time
cvc3-2.4.1
e-1.5
exec_process-1.0.1
jdk-7u6
jedit_build-20120903
kodkodi-1.2.16
polyml-5.5.0
scala-2.9.2
spass-3.8ds
z3-4.0