Admin/contributed_components
changeset 41432 3214c39777ab
parent 41119 573f557ed716
child 41450 3a62f88d9650
--- a/Admin/contributed_components	Tue Jan 04 15:46:38 2011 -0800
+++ b/Admin/contributed_components	Thu Jan 06 17:51:56 2011 +0100
@@ -1,7 +1,9 @@
 #contributed components
+contrib/cvc3-2.2
 contrib/e-1.2
 contrib/jedit-4.3.2
 contrib/kodkodi-1.2.16
 contrib/spass-3.7
 contrib/scala-2.8.0.RC5
 contrib/vampire-1.0
+contrib/z3-2.15