changeset 34254 | 14f6df4f473d |
parent 34043 | 7129fab1fe4f |
child 34255 | 2dd2547acb41 |
--- a/lib/scripts/getsettings Mon Jan 04 20:25:56 2010 +0100 +++ b/lib/scripts/getsettings Mon Jan 04 21:49:47 2010 +0100 @@ -25,6 +25,16 @@ ISABELLE="$ISABELLE_PROCESS" ISATOOL="$ISABELLE_TOOL" +function isabelle-process () +{ + "$ISABELLE_PROCESS" "$@" +} + +function isabelle () +{ + "$ISABELLE_TOOL" "$@" +} + #Isabelle distribution identifier -- filled in automatically! ISABELLE_IDENTIFIER=""