--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components	Sat Jun 23 20:34:21 2012 +0200
@@ -0,0 +1,10 @@
+#contributed components
+contrib/cvc3-2.2
+contrib/e-1.5
+contrib/hol-light-bundle-0.5-126
+contrib/kodkodi-1.2.16
+contrib/spass-3.8ds
+contrib/scala-2.9.2
+contrib/vampire-1.0
+contrib/yices-1.0.28
+contrib/z3-3.2