From 889cf8bba734f4972cbc15dc67e39ea539605ccd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 May 2007 14:00:46 +0000
Subject: Fix #114: syntax highlighting mistake for identifiers beginning with
 fun/forall.

---
 coq/coq-syntax.el | 4 ++--
 1 file 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
-- 
cgit v1.2.3