| changeset 62588 | cd266473b81b |
| parent 62416 | cb6c4e307b1c |
| child 67099 | 3345d53e7c58 |
--- a/lib/scripts/getsettings Thu Mar 10 12:11:23 2016 +0100 +++ b/lib/scripts/getsettings Thu Mar 10 12:11:50 2016 +0100 @@ -55,7 +55,6 @@ #main executables ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" -ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process" ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script" PATH="$ISABELLE_HOME/bin:$PATH"