diff -r 7f6b2634d853 -r 95e2656b3b23 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sun Apr 06 16:36:28 2014 +0200
+++ b/lib/scripts/getsettings	Sun Apr 06 16:59:41 2014 +0200
@@ -44,9 +44,14 @@
 export ISABELLE_HOME
 
 #key executables
-ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
+ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 
+function isabelle_process ()
+{
+  "$ISABELLE_PROCESS" "$@"
+}
+
 function isabelle ()
 {
   "$ISABELLE_TOOL" "$@"