From 1ef51ffae9dba2795ce7e535540f0a1b669d51b2 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 8 Nov 2007 08:04:38 +0000 Subject: fixing small font-lock bug with ssreflect syntax. --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index b2d190c1..7be523d2 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -826,7 +826,7 @@ Used by `coq-goal-command-p'" ;; forall binder (list (coq-first-abstr-regexp "\\" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) ;; parenthesized binders - (list (coq-first-abstr-regexp "(" ":[^:=]") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "(" ":[ a-zA-Z]") 1 'font-lock-variable-name-face) ) "*Font-lock table for Coq terms.") -- cgit v1.2.3