From 50948be66b42b57cfe61a52cb486746121432591 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 26 Oct 2014 09:27:17 -0700 Subject: [PATCH] fix(emacs/lean-syntax): syntax highlight for composite names in declarations --- src/emacs/lean-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index f69a43192..17c5028c3 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -107,7 +107,7 @@ (group (or "inductive" "theorem" "axiom" "lemma" "hypothesis" "definition" "constant")) word-end (zero-or-more (or whitespace "(" "{" "[")) - (group (zero-or-more (not (any " \t\n\r\."))))) + (group (zero-or-more (not (any " \t\n\r"))))) (2 'font-lock-function-name-face)) ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face)) ;; place holder