updated for release;
authorwenzelm
Sun Sep 18 15:30:31 2011 +0200 (2011-09-18)
changeset 449727704b2fb02cc
parent 44971 8104eec1bf94
child 44973 dfe923d5308d
updated for release;
Admin/contributed_components
     1.1 --- a/Admin/contributed_components	Sun Sep 18 15:30:21 2011 +0200
     1.2 +++ b/Admin/contributed_components	Sun Sep 18 15:30:31 2011 +0200
     1.3 @@ -1,9 +1,9 @@
     1.4  #contributed components
     1.5  contrib/cvc3-2.2
     1.6 -contrib/e-1.2
     1.7 +contrib/e-1.4
     1.8  contrib/kodkodi-1.2.16
     1.9  contrib/spass-3.7
    1.10  contrib/scala-2.8.1.final
    1.11  contrib/vampire-1.0
    1.12  contrib/yices-1.0.28
    1.13 -contrib/z3-2.19
    1.14 +contrib/z3-3.1