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