diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-08 15:06:52 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-08 15:06:52 +0200 |
| commit | f014a3e98bf916c78b6916b893b5c07fcf7e8be7 (patch) | |
| tree | 2e71385295d4ee98628a11cd5e3ec996f3d3c739 /coq/coq-syntax.el | |
| parent | 86afe9ba314da0f39a7526cdb34a3972beb075e2 (diff) | |
abbrev twivking.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 555a7f83..ef9fb162 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -135,7 +135,7 @@ so for the following reasons: ("autorewrite with in" "arwi" "autorewrite with @{db,db...} in @{hyp}" t) ("autorewrite with using" "arwu" "autorewrite with @{db,db...} using @{tac}" t) ("autorewrite with" "ar" "autorewrite with @{db,db...}" t "autorewrite") - ("case" "c" "case " t "case") + ("case" nil "case " t "case") ("case_eq" "ceq" "case_eq " t "case_eq") ("case_type" "cty" "case_type " t "case_type") ("cbn" "c" "cbn" t "cbn") |