diff -r 1e77ed11f2f7 -r 344800503974 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Mon Apr 07 13:06:34 2014 +0200
+++ b/lib/scripts/getsettings	Mon Apr 07 13:11:31 2014 +0200
@@ -46,6 +46,7 @@
 #key executables
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
+ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
 
 function isabelle ()
 {
@@ -59,7 +60,7 @@
 
 function isabelle_scala_script ()
 {
-  "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
+  "$ISABELLE_SCALA_SCRIPT" "$@"
 }
 
 #platform