From bf6d14307f32b8c3067ba31294a723ca81e5a1ed Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 23 Mar 2015 17:38:32 +0000
Subject: Highlighting evars.

---
 coq/coq-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 8c728284..bf9524cd 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -975,6 +975,8 @@ It is used:
                                         ;         (list 0 font-lock-type-face)
                                         ;         (list (concat "[^ :]\\s-*\\(" coq-ids "\\)\\s-*") nil nil
                                         ;               (list 0 font-lock-variable-name-face)))
+
+   (list "[?][a-zA-Z0-9]+" 0 'proof-eager-annotation-face)
    ;; parenthesized binders
    (list (coq-first-abstr-regexp "(" ":[ a-zA-Z]") 1 'font-lock-variable-name-face)
    (list (coq-first-abstr-regexp "{" ":[ a-zA-Z]") 1 'font-lock-variable-name-face)
-- 
cgit v1.2.3