author | wenzelm |
Tue, 17 Apr 2012 22:26:36 +0200 | |
changeset 48395 | f80c6d492763 |
parent 48394 | 1bf0e92c1ca0 |
child 48396 | 9c8a1b9c0630 |
1.1 --- a/Admin/contributed_components Tue Apr 17 14:00:09 2012 +0200 1.2 +++ b/Admin/contributed_components Tue Apr 17 22:26:36 2012 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 contrib/hol-light-bundle-0.5-126 1.5 contrib/kodkodi-1.2.16 1.6 contrib/spass-3.7 1.7 -contrib/scala-2.8.1.final 1.8 +contrib/scala-2.9.2 1.9 contrib/vampire-1.0 1.10 contrib/yices-1.0.28 1.11 contrib/z3-3.1