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)

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index e4506266..79a9b315 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -584,6 +584,7 @@ Checks the width in the `proof-goals-buffer'"
   (isar-mode-config-set-variables)
   (isar-init-syntax-table)
   (setq font-lock-keywords isar-font-lock-keywords-1)
+  (setq comment-quote-nested nil) ;; can cope with nested comments
   (proof-config-done)
   (set (make-local-variable 'outline-regexp) isar-outline-regexp)
   (set (make-local-variable 'outline-heading-end-regexp) isar-outline-heading-end-regexp)
-- 
cgit v1.2.3