From 7cc5024441ea29b5e341d0db2b04426b391da60a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 6 Aug 1999 18:00:31 +0000
Subject: ProofGeneral interface wrapper for Isabelle/classic

---
 isa/interface-setup.el | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 isa/interface-setup.el

(limited to 'isa/interface-setup.el')

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
new file mode 100644
index 00000000..a394121c
--- /dev/null
+++ b/isa/interface-setup.el
@@ -0,0 +1,9 @@
+;;
+;; $Id$
+;; 
+
+(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