diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-25 14:00:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-25 14:00:46 +0000 |
| commit | 889cf8bba734f4972cbc15dc67e39ea539605ccd (patch) | |
| tree | 992a30b7c7f1ba82cbb1ae3e076f0f1a3231800e | |
| parent | ac58f98f0ea13508d2e1d0b9bcbeaacce0541b0b (diff) | |
Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.
| -rw-r--r-- | coq/coq-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 0c871c3b..6bc6fe8d 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -796,9 +796,9 @@ Used by `coq-goal-command-p'" (defvar coq-font-lock-terms (list ;; lambda binders - (list (coq-first-abstr-regexp "fun" "\\(?:=>\\|:\\)") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "fun\>" "\\(?:=>\\|:\\)") 1 'font-lock-variable-name-face) ;; forall binder - (list (coq-first-abstr-regexp "forall" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "forall\>" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) ;; Pi binders (list (coq-first-abstr-regexp "(" ":[^:=]") 1 'font-lock-variable-name-face) ;; second, third, etc. abstraction for Lambda of Pi binders |