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 ++--
 isar/interface-setup.el | 2 --
 2 files changed, 2 insertions(+), 4 deletions(-)

(limited to 'isar')

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
diff --git a/isar/interface-setup.el b/isar/interface-setup.el
index 06a383d1..3cf70b39 100644
--- a/isar/interface-setup.el
+++ b/isar/interface-setup.el
@@ -5,5 +5,3 @@
 (customize-set-variable
  'isabelle-isar-prog-name
  (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
-
-(customize-set-variable 'proof-assistant-table '((isar "Isabelle/Isar" "\\.thy$")))
-- 
cgit v1.2.3