1.1 --- a/etc/settings	Tue Apr 22 22:15:44 2014 +0200
     1.2 +++ b/etc/settings	Tue Apr 22 22:27:29 2014 +0200
     1.3 @@ -17,11 +17,11 @@
     1.4  ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
     1.5  
     1.6  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
     1.7 -classpath "$ISABELLE_HOME/lib/classes/scala-library.jar"
     1.8 -classpath "$ISABELLE_HOME/lib/classes/scala-swing.jar"
     1.9 -classpath "$ISABELLE_HOME/lib/classes/scala-actors.jar"
    1.10 -classpath "$ISABELLE_HOME/lib/classes/scala-compiler.jar"
    1.11 -classpath "$ISABELLE_HOME/lib/classes/scala-reflect.jar"
    1.12 +classpath "$SCALA_HOME/lib/scala-library.jar"
    1.13 +classpath "$SCALA_HOME/lib/scala-swing.jar"
    1.14 +classpath "$SCALA_HOME/lib/scala-actors.jar"
    1.15 +classpath "$SCALA_HOME/lib/scala-compiler.jar"
    1.16 +classpath "$SCALA_HOME/lib/scala-reflect.jar"
    1.17  
    1.18  #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    1.19  unset XMODIFIERS