From 53ab650ed0a357bb5a70a333863c25d0b924a53e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Fri, 10 Apr 2015 12:24:37 +0000
Subject: Added unicode forall in font-lock regexps.

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

(limited to 'coq/coq-syntax.el')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index fff710f3..5cb48f28 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -965,14 +965,17 @@ It is used:
   :type 'boolean
   :group 'coq)
 
+(defconst coq-lambda-regexp "\\<\\(?:fun\\|λ\\)\\>")
+
+(defconst coq-forall-regexp "\\(?:\\<forall\\>\\|∀\\)")
 
 (defvar coq-font-lock-terms
   (if coq-variable-highlight-enable
   (list
    ;; lambda binders
-   (list (coq-first-abstr-regexp "\\<fun\\>" "\\(?:=>\\|:\\)") 1 'font-lock-variable-name-face)
+   (list (coq-first-abstr-regexp coq-lambda-regexp "\\(?:=>\\|:\\)") 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 coq-forall-regexp "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face)
                                         ;   (list "\\<forall\\>"
                                         ;         (list 0 font-lock-type-face)
                                         ;         (list (concat "[^ :]\\s-*\\(" coq-ids "\\)\\s-*") nil nil
-- 
cgit v1.2.3