diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 23:33:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 23:33:23 +0000 |
commit | 137dde03ece224d04ff7a10b93305a445422d342 (patch) | |
tree | 92a1e3098c277bfbd0c0888235d31dd11d7c6503 /coq | |
parent | 9ad928e6258a02951e39145e30778fdfc09a7753 (diff) |
Patch for nested comments from Stefan Monnier.
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq-syntax.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 9b533aba..1220d5d2 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -528,7 +528,11 @@ Idtac (Nop) tactic, put the following line in your .emacs: (modify-syntax-entry ?_ "w") (modify-syntax-entry ?\' "_") (modify-syntax-entry ?\| ".") - (modify-syntax-entry ?\* ". 23") + (condition-case nil + ;; Try to use Emacs-21's nested comments. + (modify-syntax-entry ?\* ". 23n") + ;; Revert to non-nested comments if that failed. + (error (modify-syntax-entry ?\* ". 23"))) (modify-syntax-entry ?\( "()1") (modify-syntax-entry ?\) ")(4")) |