equal
deleted
inserted
replaced
15 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
15 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
16 |
16 |
17 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m" |
17 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m" |
18 |
18 |
19 ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 11 -target 11" |
19 ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 11 -target 11" |
20 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m" |
20 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m" |
21 |
21 |
22 ISABELLE_SCALA_JAR="$ISABELLE_HOME/lib/classes/isabelle.jar" |
22 ISABELLE_SCALA_JAR="$ISABELLE_HOME/lib/classes/isabelle.jar" |
23 |
23 |
24 #paranoia settings -- avoid intrusion of alien options |
24 #paranoia settings -- avoid intrusion of alien options |
25 unset "_JAVA_OPTIONS" |
25 unset "_JAVA_OPTIONS" |