--- a/etc/settings Sun Apr 03 23:28:48 2016 +0200
+++ b/etc/settings Sun Apr 03 23:56:52 2016 +0200
@@ -16,6 +16,9 @@
ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
+ISABELLE_TOOL_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
+ISABELLE_TOOL_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
+
classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
#paranoia settings -- avoid intrusion of alien options
@@ -39,9 +42,6 @@
ISABELLE_BUILD_OPTIONS=""
-ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
-ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
-
###
### Document preparation (cf. isabelle latex/document)