diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-04-15 11:36:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-15 11:36:23 +0000 |
| commit | 65040f942717d5b8b5aaf3bf14bbfa76a128c832 (patch) | |
| tree | e5bc26fc3130ae274e40ee6ba257330ea2a5f1b0 /coq | |
| parent | 141e2a28e04e9a489226a9ceb5c09396fc2ac3ae (diff) | |
little change in CHANGES and in coq syntax table.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 6ff24e4d..d7684506 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -824,7 +824,7 @@ Idtac (Nop) tactic, put the following line in your .emacs: (modify-syntax-entry ?> ".") (modify-syntax-entry ?\& ".") (modify-syntax-entry ?_ "w") - (modify-syntax-entry ?\' "_") + (modify-syntax-entry ?\' "w") (modify-syntax-entry ?\| ".") ; should baybe be "_" but it makes coq-find-and-forget (in coq.el) bug |