From 16458db21915a95776f104e7d90a94a61dcf1eb4 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Fri, 1 Jul 2016 11:50:32 -0700
Subject: Highlight [nra] like [nia] and [lia] and [lra] (#84)

---
 coq/coq-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'coq/coq-syntax.el')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 66c60582..e49e18a1 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -239,6 +239,7 @@ so for the following reasons:
      ("multimatch with" "m" "multimatch # with\n| # => #\nend")
      ("nia" nil "nia" t "nia")
      ("now_show" nil "now_show" t "now_show")
+     ("nra" nil "nra" t "nra")
      ("nsatz" nil "nsatz" t "nsatz")
      ("omega" "o" "omega" t "omega")
      ("pattern" "pat" "pattern" t "pattern")
@@ -344,6 +345,7 @@ so for the following reasons:
      ("lia" nil "lia" t "lia")
      ("lra" nil "lra" t "lra")
      ("nia" nil "nia" t "nia")
+     ("nra" nil "nra" t "nra")
      ("nsatz" nil "nsatz" t "nsatz")
      ("omega" "o" "omega" t "omega")
      ("romega" nil "romega" t "romega")
-- 
cgit v1.2.3