From 7d60213d9a4588121adfe82137c8b5eaf00708ae Mon Sep 17 00:00:00 2001 From: Jeremy Avigad Date: Wed, 11 Feb 2015 22:09:14 -0500 Subject: [PATCH] fix(src/emacs/lean-syntax.el): add syntax highlighting for [abbreviations] --- 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 bdd9e473f..a3d7619b5 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -120,7 +120,7 @@ (,(rx (or "\[persistent\]" "\[notation\]" "\[visible\]" "\[instance\]" "\[class\]" "\[parsing-only\]" "\[coercion\]" "\[reducible\]" "\[irreducible\]" "\[wf\]" "\[whnf\]" "\[multiple-instances\]" "\[decls\]" "\[declarations\]" "\[all-transparent\]" "\[coercions\]" "\[classes\]" - "\[notations\]" "\[begin-end-hints\]" "\[tactic-hints\]" "\[reduce-hints\]")) + "\[notations\]" "\[abbreviations\]" "\[begin-end-hints\]" "\[tactic-hints\]" "\[reduce-hints\]")) . 'font-lock-doc-face) (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) (,(rx "\[unfold-c" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face)