From 21e972e34a687335fb224aecae2ea62dc0cb1b50 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 24 Feb 2015 11:57:34 -0800 Subject: [PATCH] fix(emacs/lean-syntax): syntax-highlight problem in tactics --- src/emacs/lean-syntax.el | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index a3d7619b5..862c9eba3 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -127,11 +127,13 @@ ;; 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" "fapply" "rename" "intro" "intros" - "generalize" "generalizes" "clear" "clears" "revert" "reverts" "back" "beta" "done" "exact" "repeat" - "whnf" "rotate" "rotate_left" "rotate_right" "inversion" "cases" "assert" "rewrite" "esimp" "unfold") + (group + (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "eassumption" "rapply" + "apply" "fapply" "rename" "intro" "intros" + "generalize" "generalizes" "clear" "clears" "revert" "reverts" "back" "beta" "done" "exact" "repeat" + "whnf" "rotate" "rotate_left" "rotate_right" "inversion" "cases" "assert" "rewrite" "esimp" "unfold")) word-end) - . 'font-lock-constant-face) + (1 'font-lock-constant-face)) ;; Types (,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₀" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face) (,(rx word-start (group "Type") ".") (1 'font-lock-type-face))