changeset 47524 | f80c6d492763 |
parent 47266 | bf9796e44584 |
child 47578 | d83254265530 |
--- a/Admin/contributed_components Tue Apr 17 14:00:09 2012 +0200 +++ b/Admin/contributed_components Tue Apr 17 22:26:36 2012 +0200 @@ -4,7 +4,7 @@ contrib/hol-light-bundle-0.5-126 contrib/kodkodi-1.2.16 contrib/spass-3.7 -contrib/scala-2.8.1.final +contrib/scala-2.9.2 contrib/vampire-1.0 contrib/yices-1.0.28 contrib/z3-3.1