From 20e62c96235468f2337d65fe350be5b97f738049 Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Thu, 7 May 2015 01:01:07 -0400 Subject: [PATCH] fix(lean-syntax): add all metaclasses and the state tactic to syntax --- src/emacs/lean-syntax.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index f09ae0154..179b91387 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -124,7 +124,8 @@ "\[whnf\]" "\[multiple-instances\]" "\[none\]" "\[decls\]" "\[declarations\]" "\[all-transparent\]" "\[coercions\]" "\[classes\]" "\[symm\]" "\[subst\]" "\[refl\]" "\[trans\]" - "\[notations\]" "\[abbreviations\]" "\[begin-end-hints\]" "\[tactic-hints\]" "\[reduce-hints\]")) + "\[notations\]" "\[abbreviations\]" "\[begin-end-hints\]" "\[tactic-hints\]" + "\[reduce-hints\]" "\[unfold-hints\]" "\[aliases\]" "\[eqv\]" "\[localrefinfo\]")) . 'font-lock-doc-face) (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) (,(rx "\[unfold-c" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) @@ -137,7 +138,7 @@ "generalize" "generalizes" "clear" "clears" "revert" "reverts" "back" "beta" "done" "exact" "rexact" "refine" "repeat" "whnf" "rotate" "rotate_left" "rotate_right" "inversion" "cases" "rewrite" "esimp" "unfold" "change" "check_expr" "contradiction" "exfalso" "split" "existsi" "constructor" "left" "right" - "injection" "congruence" "reflexivity" "symmetry" "transitivity")) + "injection" "congruence" "reflexivity" "symmetry" "transitivity" "state")) word-end) (1 'font-lock-constant-face)) ;; Types