From 373d4ca4c68348c475d3b5dcff49e78c4bae9595 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 10 Feb 2015 18:22:03 -0800 Subject: [PATCH] feat(emacs/lean-syntax): highlight 'abbreviation' command --- 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 f337ddaee..338150f35 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -10,7 +10,7 @@ (defconst lean-keywords '("import" "prelude" "tactic_hint" "protected" "private" "opaque" "definition" "renaming" "hiding" "exposing" "parameter" "parameters" "begin" "proof" "qed" "conjecture" "constant" "constants" - "hypothesis" "lemma" "corollary" "variable" "variables" "print" "theorem" "example" + "hypothesis" "lemma" "corollary" "variable" "variables" "print" "theorem" "example" "abbreviation" "context" "open" "as" "export" "axiom" "inductive" "with" "structure" "record" "universe" "universes" "alias" "help" "environment" "options" "precedence" "reserve" "postfix" "prefix" "calc_trans" "calc_subst" "calc_refl" "calc_symm" "match"