highlight abbreviation command

leanprover · Jul 25, 2018 · 3dc37df · 3dc37df
1 parent 42d633b
commit 3dc37df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/syntaxes/lean.json b/syntaxes/lean.json
@@ -26,7 +26,7 @@
       "patterns": []
     },
     {
-      "begin": "\\b(inductive|coinductive|structure|theorem|axiom|axioms|lemma|hypothesis|definition|def|instance|class|constant)\\b\\s+(\\{[^}]*\\}\\s+)?([^ \\t\\n\\r{(\\[]*)",
+      "begin": "\\b(inductive|coinductive|structure|theorem|axiom|axioms|lemma|hypothesis|definition|def|abbreviation|instance|class|constant)\\b\\s+(\\{[^}]*\\}\\s+)?(([^ \\t\\n\\r{(\\[,:]*(,\\s*)?)*)",
       "beginCaptures": {
         "1": {
           "name": "keyword.other.lean"