diff -r 14f6df4f473d -r 2dd2547acb41 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Mon Jan 04 21:49:47 2010 +0100
+++ b/lib/scripts/getsettings	Mon Jan 04 22:16:48 2010 +0100
@@ -21,9 +21,6 @@
 #key executables
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
-#legacy settings
-ISABELLE="$ISABELLE_PROCESS"
-ISATOOL="$ISABELLE_TOOL"
 
 function isabelle-process ()
 {