shell functions for all Isabelle executables;

--- a/lib/scripts/getsettings	Sun Apr 06 16:59:41 2014 +0200
+++ b/lib/scripts/getsettings	Sun Apr 06 17:09:32 2014 +0200
@@ -44,17 +44,22 @@
 export ISABELLE_HOME
 
 #key executables
+ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
-ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
+
+function isabelle ()
+{
+  "$ISABELLE_TOOL" "$@"
+}
 
 function isabelle_process ()
 {
   "$ISABELLE_PROCESS" "$@"
 }
 
-function isabelle ()
+function isabelle_scala_script ()
 {
-  "$ISABELLE_TOOL" "$@"
+  "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
 }
 
 #platform