| changeset 62414 | 1abd90afe387 |
| parent 62413 | c6111df4a4f8 |
| child 62416 | cb6c4e307b1c |
--- a/lib/scripts/getsettings Thu Feb 25 18:05:04 2016 +0100 +++ b/lib/scripts/getsettings Thu Feb 25 18:08:23 2016 +0100 @@ -56,6 +56,7 @@ 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" #platform source "$ISABELLE_HOME/lib/scripts/isabelle-platform"