diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-23 17:38:32 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-23 17:38:32 +0000 |
| commit | bf6d14307f32b8c3067ba31294a723ca81e5a1ed (patch) | |
| tree | 671afa974868c3e6c307c0079ce84b835a4f660e /coq/coq-syntax.el | |
| parent | 8d3c0c0b37e9d9b75d38d6f676c5bb7aaeb1d707 (diff) | |
Highlighting evars.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
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) |