diff options
| author | Pierre Courtieu | 2007-10-30 14:08:34 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-10-30 14:08:34 +0000 |
| commit | f930c31fae1538d7c4414950278963d4174c1f65 (patch) | |
| tree | 774e72f4edf7112e60e791655155ab355597a606 | |
| parent | 98517bd930913eca029a8621610ef40da9f8b96b (diff) | |
Bug fixed. Reported by Assia Mahboubi.
| -rw-r--r-- | coq/coq-syntax.el | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 3ab9fef4..ef3990e0 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -332,7 +332,7 @@ so for the following reasons: (defvar coq-defn-db '( ("CoFixpoint" "cfix" "CoFixpoint # (#:#) : # :=\n#." t "CoFixpoint") - ("Coinductive" "coindv" "Coinductive # : # :=\n|# : #." t "Coinductive") + ("CoInductive" "coindv" "CoInductive # : # :=\n|# : #." t "CoInductive") ("Declare Module : :=" "dm" "Declare Module # : # := #." t "Declare\\s-+Module") ("Declare Module <: :=" "dm2" "Declare Module # <: # := #." t);; careful ("Declare Module Import : :=" "dmi" "Declare Module # : # := #." t "Declare\\s-+Module") @@ -512,16 +512,16 @@ so for the following reasons: ("Transparent" nil "Transparent #." nil "Transparent") ("Unfocus" nil "Unfocus." nil "Unfocus") - ("Unset Extraction AutoInline" nil "Unset Extraction AutoInline" t) - ("Unset Extraction Optimize" nil "Unset Extraction Optimize" t) - ("Unset Implicit Arguments" nil "Unset Implicit Arguments" t) - ("Unset Printing Synth" nil "Unset Printing Synth" t) - ("Unset Printing Wildcard" nil "Unset Printing Wildcard" t) - ("Unset Hyps Limit" nil "Unset Hyps Limit" nil) - ("Unset Printing All" "unsprall" "Unset Printing All" nil) - ("Unset Printing Coercion" nil "Unset Printing Coercion #." t) - ("Unset Printing Coercions" nil "Unset Printing Coercions." nil) - ("Unset Printing Notations" "unsprn" "Unset Printing Notations" nil) + ("Unset Extraction AutoInline" nil "Unset Extraction AutoInline" t "Unset\\s-+Extraction\\s-+AutoInline") + ("Unset Extraction Optimize" nil "Unset Extraction Optimize" t "Unset\\s-+Extraction\\s-+Optimize") + ("Unset Implicit Arguments" nil "Unset Implicit Arguments" t "Unset\\s-+Implicit\\s-+Arguments") + ("Unset Printing Synth" nil "Unset Printing Synth" t "Unset\\s-+Printing\\s-+Synth") + ("Unset Printing Wildcard" nil "Unset Printing Wildcard" t "Unset\\s-+Printing\\s-+Wildcard") + ("Unset Hyps Limit" nil "Unset Hyps Limit" nil "Unset\\s-+Hyps\\s-+Limit") + ("Unset Printing All" "unsprall" "Unset Printing All" nil "Unset\\s-+Printing\\s-+All") + ("Unset Printing Coercion" nil "Unset Printing Coercion #." t "Unset\\s-+Printing\\s-+Coercion") + ("Unset Printing Coercions" nil "Unset Printing Coercions." nil "Unset\\s-+Printing\\s-+Coercions") + ("Unset Printing Notations" "unsprn" "Unset Printing Notations" nil "Unset\\s-+Printing\\s-+Notations") ("Unset Undo" nil "Unset Undo." nil "Unset\\s-+Undo") ; ("print" "pr" "print #" "print") ) |