lib/scripts/getsettings
changeset 62414 1abd90afe387
parent 62413 c6111df4a4f8
child 62416 cb6c4e307b1c
     1.1 --- a/lib/scripts/getsettings	Thu Feb 25 18:05:04 2016 +0100
     1.2 +++ b/lib/scripts/getsettings	Thu Feb 25 18:08:23 2016 +0100
     1.3 @@ -56,6 +56,7 @@
     1.4  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.5  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
     1.6  ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
     1.7 +PATH="$ISABELLE_HOME/bin:$PATH"
     1.8  
     1.9  #platform
    1.10  source "$ISABELLE_HOME/lib/scripts/isabelle-platform"