--- a/lib/scripts/getsettings Thu Feb 25 19:08:48 2016 +0100
+++ b/lib/scripts/getsettings Thu Feb 25 19:22:13 2016 +0100
@@ -4,14 +4,17 @@
#
# 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)
@@ -50,8 +53,6 @@
unset CLASSPATH
fi
-export ISABELLE_HOME
-
#main executables
ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"