diff options
author | Jason Gross <jasongross9@gmail.com> | 2016-07-01 11:50:32 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-07-01 14:50:32 -0400 |
commit | 16458db21915a95776f104e7d90a94a61dcf1eb4 (patch) | |
tree | 4184a60a4a93033054f2007e2a7ac20457f75c44 /coq/coq-syntax.el | |
parent | 9274e7448d85e682addb84440bded3800760ae14 (diff) |
Highlight [nra] like [nia] and [lia] and [lra] (#84)
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
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") |