From 88b6778a1f95cea0bedacbb31c9cf4297a77ccd1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 22 Jan 2014 09:44:12 -0800 Subject: [PATCH] fix(emacs): syntax highlight Signed-off-by: Leonardo de Moura --- src/emacs/lean-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index b26b104d2..f7e81cdf8 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -31,7 +31,7 @@ ("\\(->\\|↔\\|/\\\\\\|==\\|\\\\/\\|[*+/<=>¬∧∨≠≤≥-]\\)" . 'font-lock-constant-face) ("\\(λ\\|→\\|∃\\|∀\\|:\\|:=\\)" . font-lock-constant-face) ("\\_<\\(\\b.*_tac\\|Cond\\|OrElse\\|T\\(?:hen\\|ry\\)\\|When\\|apply\\|b\\(?:ack\\|eta\\)\\|done\\|exact\\)\\_>" . 'font-lock-constant-face) - ("\\(universe\\|theorem\\|axiom\\|definition\\|variable\\|builtin\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-function-name-face)) + ("\\_<\\(universe\\|theorem\\|axiom\\|definition\\|variable\\|builtin\\)\\_>[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-function-name-face)) ("variables[ \t]\\([^:]*\\)" (1 'font-lock-function-name-face)) ("\\(set_opaque\\|set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) ("\\_<_\\_>" . 'font-lock-preprocessor-face)