etc/settings
changeset 56665 27778363775d
parent 56660 5d629da46f04
child 57439 0e41f26a0250
equal deleted inserted replaced
56664:8ff8e5d00115 56665:27778363775d
    10 
    10 
    11 ###
    11 ###
    12 ### Isabelle/Scala
    12 ### Isabelle/Scala
    13 ###
    13 ###
    14 
    14 
    15 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
    15 ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -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 
    20