equal
deleted
inserted
replaced
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2" |
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2" |
18 |
18 |
19 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m" |
19 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m" |
20 |
20 |
21 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
21 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
|
22 |
|
23 isabelle_scala_tools 'isabelle.Regular_Tools' |
|
24 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools' |
22 |
25 |
23 isabelle_file_format 'isabelle.Bibtex$File_Format' |
26 isabelle_file_format 'isabelle.Bibtex$File_Format' |
24 |
27 |
25 #paranoia settings -- avoid intrusion of alien options |
28 #paranoia settings -- avoid intrusion of alien options |
26 unset "_JAVA_OPTIONS" |
29 unset "_JAVA_OPTIONS" |