From c3d91e422845b8ebaa64f8a5c86456b60f694045 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 10 Sep 2020 15:18:32 -0700 Subject: [PATCH] chore: new keywords --- 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 d190f864c5..e897e250bb 100644 --- a/lean4-mode/lean4-syntax.el +++ b/lean4-mode/lean4-syntax.el @@ -20,7 +20,7 @@ "attributes" "raw" "replacing" "generalizing" "calc" "have" "show" "suffices" "by" "in" "at" "do" "let" "rec" "forall" "Pi" "fun" "exists" "if" "then" "else" "assume" "from" "init_quot" "return" - "mutual" "def" "run_cmd") + "mutual" "def" "run_cmd" "declare_syntax_cat" "syntax" "macro_rules" "macro") "lean keywords ending with 'word' (not symbol)") (defconst lean4-keywords1-regexp (eval `(rx word-start (or ,@lean4-keywords1) word-end)))