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;

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index e74d92ee..24ed03e6 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -35,8 +35,8 @@
 ;; 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$")
-   ;(isar       "Isabelle/Isar" "\\.thy$")
+  '((isar       "Isabelle/Isar" "\\.thy$")
+    (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$")
     (plastic	"Plastic"	"\\.lf$")
-- 
cgit v1.2.3