# HG changeset patch
# User wenzelm
# Date 1443649040 -7200
# Node ID 49b964a6fe119dd6aa212fca1127373dcbb9b8a4
# Parent  d6e51df4e7f00ea8c81330157a0cd7345d32287f
proper isabelle.root for bootstrap;

diff -r d6e51df4e7f0 -r 49b964a6fe11 Admin/Linux/Isabelle.run
--- a/Admin/Linux/Isabelle.run	Wed Sep 30 23:22:27 2015 +0200
+++ b/Admin/Linux/Isabelle.run	Wed Sep 30 23:37:20 2015 +0200
@@ -37,7 +37,7 @@
   "$ISABELLE_HOME/bin/isabelle" jedit_client "$@"
 else
   exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
-    "-Disabelle.home=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
+    "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
     -classpath "{CLASSPATH}" \
     "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
     isabelle.Main -server="$("$ISABELLE_HOME/bin/isabelle" jedit_client -n)" "$@"
diff -r d6e51df4e7f0 -r 49b964a6fe11 Admin/MacOS/Info.plist-part2
--- a/Admin/MacOS/Info.plist-part2	Wed Sep 30 23:22:27 2015 +0200
+++ b/Admin/MacOS/Info.plist-part2	Wed Sep 30 23:37:20 2015 +0200
@@ -1,4 +1,4 @@
-<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
+<string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
 <string>-Disabelle.app=true</string>
 </array>
 <key>JVMArguments</key>
diff -r d6e51df4e7f0 -r 49b964a6fe11 Admin/Windows/WinRun4J/Isabelle.ini
--- a/Admin/Windows/WinRun4J/Isabelle.ini	Wed Sep 30 23:22:27 2015 +0200
+++ b/Admin/Windows/WinRun4J/Isabelle.ini	Wed Sep 30 23:37:20 2015 +0200
@@ -1,4 +1,4 @@
 main.class=isabelle.Main
 vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
 splash.image=lib\logo\isabelle.bmp
-vmarg.1=-Disabelle.home=%INI_DIR%
+vmarg.1=-Disabelle.root=%INI_DIR%