changeset 56439 | 95e2656b3b23 |
parent 53970 | eee1863c565a |
child 56440 | aab984137bcd |
--- 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" "$@"