diff -r a30b7169fdd1 -r 7ad7d7d6df47 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sat Oct 04 16:19:49 2008 +0200
+++ b/lib/scripts/getsettings	Sat Oct 04 17:40:56 2008 +0200
@@ -20,7 +20,7 @@
 
 #key executables
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
-ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool"
+ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 #legacy settings
 ISABELLE="$ISABELLE_PROCESS"
 ISATOOL="$ISABELLE_TOOL"