author | blanchet |
Thu, 19 Apr 2012 11:10:03 +0200 | |
changeset 48449 | d83254265530 |
parent 48448 | b8f33b19e20b |
child 48450 | 28f6f4ad69bf |
child 48467 | c0fe12591c93 |
1.1 --- a/Admin/contributed_components Thu Apr 19 11:00:12 2012 +0200 1.2 +++ b/Admin/contributed_components Thu Apr 19 11:10:03 2012 +0200 1.3 @@ -3,7 +3,7 @@ 1.4 contrib/e-1.4 1.5 contrib/hol-light-bundle-0.5-126 1.6 contrib/kodkodi-1.2.16 1.7 -contrib/spass-3.7 1.8 +contrib_devel/spass-3.8ds 1.9 contrib/scala-2.9.2 1.10 contrib/vampire-1.0 1.11 contrib/yices-1.0.28