updated scala;
authorwenzelm
Fri Jan 07 20:42:25 2011 +0100 (2011-01-07)
changeset 414503a62f88d9650
parent 41449 7339f0e7c513
child 41451 892e67be8304
updated scala;
removed jedit -- component needs to be build afresh from ISABELLE_HOME/src/Tools/jEdit;
Admin/contributed_components
     1.1 --- a/Admin/contributed_components	Fri Jan 07 18:32:19 2011 +0100
     1.2 +++ b/Admin/contributed_components	Fri Jan 07 20:42:25 2011 +0100
     1.3 @@ -1,9 +1,8 @@
     1.4  #contributed components
     1.5  contrib/cvc3-2.2
     1.6  contrib/e-1.2
     1.7 -contrib/jedit-4.3.2
     1.8  contrib/kodkodi-1.2.16
     1.9  contrib/spass-3.7
    1.10 -contrib/scala-2.8.0.RC5
    1.11 +contrib/scala-2.8.1.final
    1.12  contrib/vampire-1.0
    1.13  contrib/z3-2.15