Set comment-quote-nested (for Emacs/XEmacs 21.5)

3 files changed, 3 insertions, 0 deletions

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)
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?
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)