lib/scripts/getsettings

 #
 # Author: Makarius
 #
 # Static Isabelle environment for root of process tree.
 
+export ISABELLE_HOME
+
+export BASH_ENV="$ISABELLE_HOME/lib/scripts/getfunctions"
+source "$BASH_ENV"
+
+
 if [ -z "$ISABELLE_SETTINGS_PRESENT" ]
 then
 
 export ISABELLE_SETTINGS_PRESENT=true
-
-export BASH_ENV="$ISABELLE_HOME/lib/scripts/getfunctions"
-source "$BASH_ENV"
 
 set -o allexport
 
 #sane environment defaults (notably on Mac OS X)
 if [ "$ISABELLE_APP" = true -a -x /usr/libexec/path_helper ]; then

   ISABELLE_ROOT="$ISABELLE_HOME"
 
   ISABELLE_CLASSPATH="$CLASSPATH"
   unset CLASSPATH
 fi
-
-export ISABELLE_HOME
 
 #main executables
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
 ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"