diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-09-02 14:24:17 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-09-02 14:24:17 +0000 |
commit | 7eef3eac6fc116b4e5bf3d733494b6086cf13091 (patch) | |
tree | c7fbe29ae2bba6060321a6530c014e408c6e3ebf /isar/interface | |
parent | 80cfed887895d89c00e87d720987ac6bf18bc949 (diff) |
Isabelle2008 compatibility;
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/isar/interface b/isar/interface index 7aeb3c11..48802f5d 100644 --- a/isar/interface +++ b/isar/interface @@ -243,6 +243,10 @@ else export ISABELLE_OPTIONS XSYMBOL_FONTSIZE + # Isabelle2008 compatibility + [ -z "$ISABELLE_PROCESS" ] && export ISABELLE_PROCESS="$ISABELLE" + [ -z "$ISABELLE_TOOL" ] && export ISABELLE_TOOL="$ISATOOL" + exec "$PROGNAME" "${ARGS[@]}" "${FILES[@]}" fi |