updated versions
authorkrauss
Sun, 15 Jul 2012 22:56:49 +0200 (2012-07-15)
changeset 48265 429fab105d99
parent 48264 387ed2f30918
child 48266 fa7e99b80675
updated versions
Admin/components
--- 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