--- 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)" "$@"
--- 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>
--- 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%