From 36677cf91e31421e7f0cd49f000ab8f4709218af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 May 2004 12:55:09 +0000
Subject: Set comment-quote-nested (for Emacs/XEmacs 21.5)

---
 isa/isa.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 23da7ffe..cfe8303a 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -567,6 +567,7 @@ you will be asked to retract the file or process the remainder of it."
   (isa-mode-config-set-variables)
   (isa-init-syntax-table)
   (setq font-lock-keywords isa-font-lock-keywords-1)
+  (setq comment-quote-nested nil) ;; we can cope with nested comments
   (proof-config-done)
   ;; outline
   ;; FIXME: do we need to call make-local-variable here?
-- 
cgit v1.2.3