From f8fa9f3344509bacdac789434b32ea3fadd34015 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 27 Nov 2014 10:26:32 -0800
Subject: [PATCH] feat(emacs): highlight 'inversion' tactic

---
 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 f0ebb2b5b..89cd2bdd0 100644
--- a/src/emacs/lean-syntax.el
+++ b/src/emacs/lean-syntax.el
@@ -123,7 +123,7 @@
      (,(rx (not (any "\.")) word-start
            (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "eassumption" "rapply" "apply" "rename" "intro" "intros"
                "generalize" "generalizes" "clear" "clears" "revert" "reverts" "back" "beta" "done" "exact" "repeat"
-               "whnf" "rotate" "rotate_left" "rotate_right")
+               "whnf" "rotate" "rotate_left" "rotate_right" "inversion")
            word-end)
       . 'font-lock-constant-face)
      ;; Types