--- a/Isabelle Fri Jul 03 00:10:19 2009 +0200 +++ b/Isabelle Fri Jul 03 00:15:59 2009 +0200 @@ -15,6 +15,8 @@ ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 +unset ISABELLE_SETTINGS_PRESENT + ## main