changeset 41450 | 3a62f88d9650 |
parent 41432 | 3214c39777ab |
child 42076 | 195566127689 |
--- a/Admin/contributed_components Fri Jan 07 18:32:19 2011 +0100 +++ b/Admin/contributed_components Fri Jan 07 20:42:25 2011 +0100 @@ -1,9 +1,8 @@ #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/scala-2.8.1.final contrib/vampire-1.0 contrib/z3-2.15