# HG changeset patch
# User boehmes
# Date 1300894929 -3600
# Node ID 1955661276890aa5633f0a8a5c190eefefc2292b
# Parent  c8be98f12b1c786f21cccb030d3405bd8a029c37
updated contributed components

diff -r c8be98f12b1c -r 195566127689 Admin/contributed_components
--- a/Admin/contributed_components	Wed Mar 23 15:33:17 2011 +0100
+++ b/Admin/contributed_components	Wed Mar 23 16:42:09 2011 +0100
@@ -5,4 +5,5 @@
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0
-contrib/z3-2.15
+contrib/yices-1.0.28
+contrib/z3-2.19