Admin/Linux/Isabelle.run
changeset 61298 49b964a6fe11
parent 61172 0a1b62bbbdf9
child 62036 773cb226738c
--- 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)" "$@"