From ad0dfb4c640acc6635ae3262e3da67d048034350 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 28 Nov 2014 22:41:46 -0800 Subject: [PATCH] fix(emacs): syntax highlight for 'cases ... with ...' --- src/emacs/lean-syntax.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index 87e5a1bb7..6363d56bb 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -120,6 +120,7 @@ . 'font-lock-doc-face) (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) ;; tactics + ("cases[ \t\n]+[^ \t\n]+[ \t\n]+\\(with\\)" (1 'font-lock-constant-face)) (,(rx (not (any "\.")) word-start (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "eassumption" "rapply" "apply" "rename" "intro" "intros" "generalize" "generalizes" "clear" "clears" "revert" "reverts" "back" "beta" "done" "exact" "repeat"