etc/settings
changeset 56659 f3d34969a29e
parent 56424 7032378cc097
child 56660 5d629da46f04
equal deleted inserted replaced
56658:86f9c6912965 56659:f3d34969a29e
    15 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
    15 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
    16 
    16 
    17 ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
    17 ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
    18 
    18 
    19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    20 classpath "$ISABELLE_HOME/lib/classes/scala-library.jar"
    20 classpath "$SCALA_HOME/lib/scala-library.jar"
    21 classpath "$ISABELLE_HOME/lib/classes/scala-swing.jar"
    21 classpath "$SCALA_HOME/lib/scala-swing.jar"
    22 classpath "$ISABELLE_HOME/lib/classes/scala-actors.jar"
    22 classpath "$SCALA_HOME/lib/scala-actors.jar"
    23 classpath "$ISABELLE_HOME/lib/classes/scala-compiler.jar"
    23 classpath "$SCALA_HOME/lib/scala-compiler.jar"
    24 classpath "$ISABELLE_HOME/lib/classes/scala-reflect.jar"
    24 classpath "$SCALA_HOME/lib/scala-reflect.jar"
    25 
    25 
    26 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    26 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    27 unset XMODIFIERS
    27 unset XMODIFIERS
    28 
    28 
    29 
    29