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)

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index d64d4e93..9cb6de05 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -686,6 +686,7 @@ Based on idea mentioned in Coq reference manual."
 ;	proof-shell-stop-silent-cmd  "End Silent. ")
 
   (coq-init-syntax-table)
+  (setq comment-quote-nested nil) ;; we can cope with nested comments
 
   ;; font-lock
   (setq font-lock-keywords coq-font-lock-keywords-1)
-- 
cgit v1.2.3