diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-09 12:55:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-09 12:55:09 +0000 |
| commit | 36677cf91e31421e7f0cd49f000ab8f4709218af (patch) | |
| tree | 04311ee72e54dc253ad15e3e10efa1be15f7ee7e /coq | |
| parent | b19f9a046a1ce8ee45965f775ea5db0a3db2a1c7 (diff) | |
Set comment-quote-nested (for Emacs/XEmacs 21.5)
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |