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;

---
 isa/interface | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'isa/interface')

diff --git a/isa/interface b/isa/interface
index 30d150c3..85df81c1 100644
--- a/isa/interface
+++ b/isa/interface
@@ -2,7 +2,7 @@
 #
 # $Id$
 #
-# Proof General interface wrapper for Isabelle/classic.
+# Proof General interface wrapper for classic Isabelle.
 
 
 ## diagnostics
@@ -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=isa
 export PROOFGENERAL_LOGIC="$LOGIC"
 exec $PROGNAME $ARGS $FILES
-- 
cgit v1.2.3