From 7eef3eac6fc116b4e5bf3d733494b6086cf13091 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Wed, 2 Sep 2009 14:24:17 +0000
Subject: Isabelle2008 compatibility;

---
 isar/interface | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'isar/interface')

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
-- 
cgit v1.2.3