# HG changeset patch
# User krauss
# Date 1342385809 -7200
# Node ID 429fab105d99ac1d3ac95402804624456740c2c8
# Parent  387ed2f309180b0b35a86795bd6659b986fed2fa
updated versions

diff -r 387ed2f30918 -r 429fab105d99 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