1 files changed, 1 insertions, 0 deletions
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?