updated to scala-2.11.0 with classpath provided by its etc/settings;
authorwenzelm
Tue Apr 22 23:01:59 2014 +0200 (2014-04-22)
changeset 566605d629da46f04
parent 56659 f3d34969a29e
child 56661 ef623f6f036b
updated to scala-2.11.0 with classpath provided by its etc/settings;
Admin/components/components.sha1
Admin/components/main
etc/settings
     1.1 --- a/Admin/components/components.sha1	Tue Apr 22 22:27:29 2014 +0200
     1.2 +++ b/Admin/components/components.sha1	Tue Apr 22 23:01:59 2014 +0200
     1.3 @@ -66,6 +66,7 @@
     1.4  207e4916336335386589c918c5e3f3dcc14698f2  scala-2.10.2.tar.gz
     1.5  21c8ee274ffa471ab54d4196ecd827bf3d43e591  scala-2.10.3.tar.gz
     1.6  d4688ddaf83037ca43b5bf271325fc53ae70e3aa  scala-2.10.4.tar.gz
     1.7 +44d12297a78988ffd34363535e6a8e0d94c1d8b5  scala-2.11.0.tar.gz
     1.8  b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
     1.9  5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
    1.10  43b5afbcad575ab6817d2289756ca22fd2ef43a9  spass-3.8ds.tar.gz
     2.1 --- a/Admin/components/main	Tue Apr 22 22:27:29 2014 +0200
     2.2 +++ b/Admin/components/main	Tue Apr 22 23:01:59 2014 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  polyml-5.5.1-1
     2.7 -scala-2.10.4
     2.8 +scala-2.11.0
     2.9  spass-3.8ds
    2.10  z3-3.2-1
    2.11  z3-4.3.0
     3.1 --- a/etc/settings	Tue Apr 22 22:27:29 2014 +0200
     3.2 +++ b/etc/settings	Tue Apr 22 23:01:59 2014 +0200
     3.3 @@ -17,11 +17,6 @@
     3.4  ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
     3.5  
     3.6  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
     3.7 -classpath "$SCALA_HOME/lib/scala-library.jar"
     3.8 -classpath "$SCALA_HOME/lib/scala-swing.jar"
     3.9 -classpath "$SCALA_HOME/lib/scala-actors.jar"
    3.10 -classpath "$SCALA_HOME/lib/scala-compiler.jar"
    3.11 -classpath "$SCALA_HOME/lib/scala-reflect.jar"
    3.12  
    3.13  #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    3.14  unset XMODIFIERS