author | krauss |
Sun, 15 Jul 2012 22:56:49 +0200 (2012-07-15) | |
changeset 48265 | 429fab105d99 |
parent 48264 | 387ed2f30918 |
child 48266 | fa7e99b80675 |
Admin/components | file | annotate | diff | comparison | revisions |
--- a/Admin/components Sun Jul 15 22:31:31 2012 +0200 +++ b/Admin/components Sun Jul 15 22:56:49 2012 +0200 @@ -1,5 +1,5 @@ #contributed components -contrib/cvc3-2.2 +contrib/cvc3-2.4.1 contrib/e-1.5 contrib/hol-light-bundle-0.5-126 contrib/kodkodi-1.2.16 @@ -7,7 +7,7 @@ contrib/scala-2.9.2 contrib/vampire-1.0 contrib/yices-1.0.28 -contrib/z3-3.2 +contrib/z3-4.0 contrib/jedit_build-20120414 contrib/ProofGeneral-4.1 contrib/jdk-6u31