From 91c7cb718f35c0fb4485cd6afe9c9529cd38d603 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 7 Dec 2006 19:51:41 +0000
Subject: removed obsolete references to 'isa';

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index c26024e5..579e074e 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -106,9 +106,6 @@ You can use customize to set this variable."
 	    (list dne)
 	  nil)))
    '(
-;; To use classic Isabelle instead of Isabelle/Isar,
-;; uncomment appropriate line below and set
-;; export PROOFGENERAL_ASSISTANTS=isar
 ;;
 ;; To Use HOL, uncomment the line below.  It's disabled
 ;; by default because of clash with SML mode (same for .ML).
@@ -118,7 +115,6 @@ You can use customize to set this variable."
 ;; export PROOFGENERAL_ASSISTANTS=demoisa. 
 ;;
 ;;    (demoisa    "Isabelle Demo"	"\\.ML$")
-;;    (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
     (isar       "Isabelle"      "\\.thy$")
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$\\|\\.v8$\\|\\.v7$")
-- 
cgit v1.2.3