From faef3e5366a2d384fadbe06d22667185b74a42db Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 15 Oct 1999 16:05:50 +0000
Subject: let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;

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

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 0a25e934..a62df5ca 100644
--- a/isar/interface
+++ b/isar/interface
@@ -37,7 +37,7 @@ function fail()
 
 ## process command line
 
-PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
+export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
 
 
 # options
@@ -108,6 +108,6 @@ do
   [ -f "$FILE" ] && ARGS="$ARGS -l $FILE"
 done
 
-export PROOFGENERAL_HOME
+export PROOFGENERAL_ASSISTANTS=isar
 export PROOFGENERAL_LOGIC="$LOGIC"
 exec $PROGNAME $ARGS $FILES
-- 
cgit v1.2.3