diff options
| -rw-r--r-- | coq/coq-abbrev.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 4f2cf37a..f23ac786 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -189,16 +189,16 @@ It was constructed with `proof-defstringset-fn'.") ["Print Scope/Visibility..." coq-PrintScope t]) ("OPTIONS" ["Set Printing All" coq-set-printing-all t] - ["UnSet Printing All" coq-unset-printing-all t] + ["Unset Printing All" coq-unset-printing-all t] ["Set Printing Implicit" coq-set-printing-implicit t] ["Unset Printing Implicit" coq-unset-printing-implicit t] - ["Set Printing Width" coq-ask-adapt-printing-width-and-show t] - ["Set Printing Synth" coq-set-printing-synth t] - ["Unset Printing Synth" coq-unset-printing-synth t] ["Set Printing Coercions" coq-set-printing-coercions t] ["Unset Printing Coercions" coq-unset-printing-coercions t] + ["Set Printing Synth" coq-set-printing-synth t] + ["Unset Printing Synth" coq-unset-printing-synth t] ["Set Printing Wildcards" coq-set-printing-wildcards t] - ["Unset Printing Wildcards" coq-unset-printing-wildcards t]) + ["Unset Printing Wildcards" coq-unset-printing-wildcards t] + ["Set Printing Width" coq-ask-adapt-printing-width-and-show t]) "" ["ML4PG" (coq-activate-ml4pg) :help "Activates ML4PG: machine-learning methods for Proof General"] )) |