From 61e29fa38387e10b73efc36040b06473386b9036 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 29 Jul 2009 16:19:55 +0000
Subject: ISABELLE_TOOL refers to "isabelle" tool wrapper; ISABELLE_PROCESS
 refers to "isabelle-process";

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 9ca83f3b..b2ed3209 100644
--- a/isar/interface
+++ b/isar/interface
@@ -175,7 +175,7 @@ function installfonts ()
 if [ "$START_PG" = false ]; then
 
   [ "$ISAR" = true ] && ISABELLE_OPTIONS="$ISABELLE_OPTIONS -I"
-  exec "$ISABELLE" $ISABELLE_OPTIONS "$LOGIC"
+  exec "$ISABELLE_PROCESS" $ISABELLE_OPTIONS "$LOGIC"
 
 else
 
-- 
cgit v1.2.3