From 08e8161243b14b7606fb127da2e478d1502d6de8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 26 Oct 2014 15:45:26 -0700 Subject: [PATCH] feat(emacs/lean-syntax): add 'eassumption' highlight --- src/emacs/lean-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index 17c5028c3..078ac5864 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -118,7 +118,7 @@ (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) ;; tactics (,(rx (not (any "\.")) word-start - (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "rapply" "apply" "rename" "intro" "intros" + (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "eassumption" "rapply" "apply" "rename" "intro" "intros" "generalize" "back" "beta" "done" "exact" "repeat") word-end) . 'font-lock-constant-face)