# HG changeset patch
# User wenzelm
# Date 863627895 -7200
# Node ID 7a6c933d51d0b4c4023ff9a1815719cfa6b03599
# Parent  4e0bbfb113d50040072946728efe7f13731d539d
tuned;

diff -r 4e0bbfb113d5 -r 7a6c933d51d0 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed May 14 18:37:03 1997 +0200
+++ b/lib/scripts/getsettings	Wed May 14 18:38:15 1997 +0200
@@ -4,12 +4,14 @@
 # getsettings - bash source script to augment current env.
 #
 
+set -o allexport
+
 #normalize ISABELLE_HOME as passed by caller
-export ISABELLE_HOME
 ISABELLE_HOME=$(cd $ISABELLE_HOME; echo $PWD)
 
-
-set -o allexport
+#main executables
+ISABELLE=$ISABELLE_HOME/bin/isabelle
+ISATOOL=$ISABELLE_HOME/bin/isatool
 
 #users tend to put strange things in here ...
 unset ENV
@@ -19,10 +21,6 @@
 . $ISABELLE_HOME/etc/settings || exit 2
 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
 
-#derived values
-ISABELLE=$ISABELLE_HOME/bin/isabelle
-ISATOOL=$ISABELLE_HOME/bin/isatool
-
 #append ML system to paths
 ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_SYSTEM"
 ISABELLE_PATH=$(for DIR in $(echo $ISABELLE_PATH | tr : " "); do echo $DIR/$ML_SYSTEM; done)