1.1 --- a/lib/scripts/getsettings	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  
     1.5  #key executables
     1.6  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
     1.7 -ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool"
     1.8 +ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.9  #legacy settings
    1.10  ISABELLE="$ISABELLE_PROCESS"
    1.11  ISATOOL="$ISABELLE_TOOL"