author | wenzelm |
Mon, 17 Sep 2012 15:32:16 +0200 | |
changeset 49401 | 617869cd779c |
parent 49097 | 4e5e48c589ea |
child 49447 | bec1add86e79 |
permissions | -rw-r--r-- |
48847 | 1 |
#main components for everyday use, without big impact on overall build time |
48843 | 2 |
cvc3-2.4.1 |
3 |
e-1.5 |
|
4 |
jdk-7u6 |
|
49097
4e5e48c589ea
more direct access to all-important chunks for text painting;
wenzelm
parents:
49000
diff
changeset
|
5 |
jedit_build-20120903 |
48843 | 6 |
kodkodi-1.2.16 |
49401 | 7 |
polyml-5.5.0 |
48843 | 8 |
scala-2.9.2 |
9 |
spass-3.8ds |
|
10 |
z3-4.0 |