From 01245b99b1d4b397ccfde65eeb59428f1d271539 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 13 Aug 2016 15:00:38 -0700 Subject: Add Reserved Infix like Reserved Notation (#95) --- coq/coq-syntax.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 8b09818b..195636a5 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -642,6 +642,7 @@ so for the following reasons: ("Require Export" nil "Require Export #." t "Require\\s-+Export") ("Require Import" nil "Require Import #." t "Require\\s-+Import") ("Require" nil "Require #." t "Require") + ("Reserved Infix" nil "Reserved Infix" nil "Reserved\\s-+Infix") ("Reserved Notation" nil "Reserved Notation" nil "Reserved\\s-+Notation") ("Reset Extraction Inline" nil "Reset Extraction Inline." t "Reset\\s-+Extraction\\s-+Inline") ("Save" nil "Save." t "Save") @@ -1230,7 +1231,7 @@ It is used: (defconst coq-exists-regexp "\\(?:\\_\\|∃\\)") (defvar coq-font-lock-terms - (append + (append (list ;; flattened by append above (cons coq-symbol-binders 'coq-symbol-binder-face)) (when coq-symbol-highlight-enable -- cgit v1.2.3