From 4da9c2a2cb20aa9161cc6a86d24e8419491773f7 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 22 Jun 2014 17:56:53 -0700 Subject: [PATCH] fix(emacs): modify emacs mode to reflect recent changes Signed-off-by: Leonardo de Moura --- src/emacs/lean-mode.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index 7b14ce688..fd86f21a3 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -31,8 +31,8 @@ ("\\(->\\|↔\\|/\\\\\\|==\\|\\\\/\\|[*+/<=>¬∧∨≠≤≥-]\\)" . '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\\|parameter\\)\\_>}?[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-function-name-face)) - ("variables[ \t]\\([^:]*\\)" (1 'font-lock-function-name-face)) + ("\\_<\\(universe\\|theorem\\|axiom\\|definition\\|variable\\|parameter\\)\\_>[ \t\{\[]*\\([^ \t\n]*\\)" (2 'font-lock-function-name-face)) + ("\\_<\\(variables\\|parameters\\)\\_>[ \t\{\[]*\\([^:]*\\)" (2 'font-lock-function-name-face)) ("\\(set_opaque\\|set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) ("\\_<_\\_>" . 'font-lock-preprocessor-face) ;;