# HG changeset patch # User wenzelm # Date 1396796972 -7200 # Node ID aab984137bcdd3c60efb0802872247a55ad19e14 # Parent 95e2656b3b23c448f35a7943eab2ea5fc20eacdf shell functions for all Isabelle executables; diff -r 95e2656b3b23 -r aab984137bcd lib/scripts/getsettings --- 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