From 9d69d66256b4c88c89fb3903de29bc71b2fb36cb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 16 Apr 1999 15:53:01 +0000
Subject: added 'isar proof assistant;

---
 generic/proof-site.el | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 3008abf9..857eef40 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -32,9 +32,11 @@
   :prefix "proof-")
 
 
-;; Master table of supported assistants.
+;; Master table of supported assistants.  May not enable both kinds of
+;; Isabelle interfaces at the same time!
 (defcustom proof-assistant-table
-  '((isa	"Isabelle"	"\\.ML$\\|\\.thy$")
+  '((isa        "Isabelle"	"\\.ML$\\|\\.thy$")
+   ;(isar       "Isabelle/Isar" "\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$"))
   "*Proof General's table of supported proof assistants.
-- 
cgit v1.2.3