diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-19 15:48:05 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-19 15:48:05 +0100 |
| commit | 12e643320cf7ffdc13a330719ec2ca529198060a (patch) | |
| tree | 7dbc3947dc93405076375877d7b720ebb54abdc7 /coq/coq-syntax.el | |
| parent | d3d7622f881956d61e771fecc0b9b0240ff30857 (diff) | |
fix #36.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 3b4ad3cc..37867dca 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -189,6 +189,7 @@ so for the following reasons: ("elim using" "elu" "elim # using #" t) ("elim" "e" "elim #" t "elim") ("elimtype" "elt" "elimtype" "elimtype") + ("erewrite" "er" "erewrite #" t "erewrite") ("eright" "erig" "eright" "eright") ("esplit" "esp" "esplit" t "esplit") ;; ("exact" "exa" "exact" t "exact") |