diff options
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 |