--- 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