Admin/Linux/Isabelle.run
changeset 62036 773cb226738c
parent 61298 49b964a6fe11
child 63574 4ea48cbc54c1
--- a/Admin/Linux/Isabelle.run	Sat Jan 02 13:29:34 2016 +0100
+++ b/Admin/Linux/Isabelle.run	Sat Jan 02 15:18:38 2016 +0100
@@ -40,5 +40,5 @@
     "-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)" "$@"
+    isabelle.Main "$@"
 fi