author | wenzelm |
Fri, 03 Jul 2009 00:15:59 +0200 | |
changeset 31922 | d6f8f3bfe329 |
parent 31921 | f39825f8bfd3 |
child 31923 | d6cd15601d8a |
child 31929 | 3107b9af1fb3 |
1.1 --- a/Isabelle Fri Jul 03 00:10:19 2009 +0200 1.2 +++ b/Isabelle Fri Jul 03 00:15:59 2009 +0200 1.3 @@ -15,6 +15,8 @@ 1.4 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" 1.5 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 1.6 1.7 +unset ISABELLE_SETTINGS_PRESENT 1.8 + 1.9 1.10 ## main 1.11