author | wenzelm |
Thu, 16 Aug 2012 14:25:58 +0200 | |
changeset 48826 | b19ba23e70c5 |
parent 48499 | d648225071dd |
permissions | -rw-r--r-- |
48149 | 1 |
#contributed components |
48265 | 2 |
contrib/cvc3-2.4.1 |
48149 | 3 |
contrib/e-1.5 |
4 |
contrib/hol-light-bundle-0.5-126 |
|
5 |
contrib/kodkodi-1.2.16 |
|
6 |
contrib/spass-3.8ds |
|
7 |
contrib/vampire-1.0 |
|
8 |
contrib/yices-1.0.28 |
|
48265 | 9 |
contrib/z3-4.0 |
48826
b19ba23e70c5
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
wenzelm
parents:
48499
diff
changeset
|
10 |
contrib/jdk-7u6 |
b19ba23e70c5
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
wenzelm
parents:
48499
diff
changeset
|
11 |
contrib/scala-2.9.2 |
b19ba23e70c5
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
wenzelm
parents:
48499
diff
changeset
|
12 |
contrib/jedit_build-20120813 |
b19ba23e70c5
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
wenzelm
parents:
48499
diff
changeset
|
13 |