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

(limited to 'isa')

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