lib/scripts/getsettings

 fi
 
 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" "$@"
 }