changeset 48842 | ac976e51cb67 |
parent 48826 | b19ba23e70c5 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/components_old Fri Aug 17 17:48:26 2012 +0200 @@ -0,0 +1,13 @@ +#contributed components +contrib/cvc3-2.4.1 +contrib/e-1.5 +contrib/hol-light-bundle-0.5-126 +contrib/kodkodi-1.2.16 +contrib/spass-3.8ds +contrib/vampire-1.0 +contrib/yices-1.0.28 +contrib/z3-4.0 +contrib/jdk-7u6 +contrib/scala-2.9.2 +contrib/jedit_build-20120813 +