--- 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