diff options
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") |