diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-04-10 12:24:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-10 12:24:37 +0000 |
| commit | 53ab650ed0a357bb5a70a333863c25d0b924a53e (patch) | |
| tree | 62e3c349018509ce33ffb94fb7c00616a23affab /coq/coq-syntax.el | |
| parent | fb9f956c4fd7fd2d63f970040eaeffa6ac08222c (diff) | |
Added unicode forall in font-lock regexps.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 7 |
1 files changed, 5 insertions, 2 deletions
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 |