lib/scripts/getsettings

--- a/lib/scripts/getsettings	Mon Jan 04 20:25:56 2010 +0100
+++ b/lib/scripts/getsettings	Mon Jan 04 21:49:47 2010 +0100
@@ -25,6 +25,16 @@
 ISABELLE="$ISABELLE_PROCESS"
 ISATOOL="$ISABELLE_TOOL"
 
+function isabelle-process ()
+{
+  "$ISABELLE_PROCESS" "$@"
+}
+
+function isabelle ()
+{
+  "$ISABELLE_TOOL" "$@"
+}
+
 #Isabelle distribution identifier -- filled in automatically!
 ISABELLE_IDENTIFIER=""