From 5fffecfb53c52582d373f321af11d4cafb41ca68 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 17 Dec 2019 13:32:52 -0800 Subject: [PATCH] chore: add `macro_syntax` syntax highlight --- lean4-mode/lean4-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean4-mode/lean4-syntax.el b/lean4-mode/lean4-syntax.el index ee8343546e..a620a1dbdb 100644 --- a/lean4-mode/lean4-syntax.el +++ b/lean4-mode/lean4-syntax.el @@ -14,7 +14,7 @@ "open" "export" "axiom" "inductive" "coinductive" "with" "without" "structure" "universe" "universes" "hide" "precedence" "reserve" - "match" "nomatch" "infix" "infixl" "infixr" "notation" "postfix" "prefix" "instance" + "match_syntax" "match" "nomatch" "infix" "infixl" "infixr" "notation" "postfix" "prefix" "instance" "end" "this" "using" "using_well_founded" "namespace" "section" "attribute" "local" "set_option" "extends" "include" "omit" "classes" "class" "attributes" "raw" "replacing"