diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-08-14 00:48:49 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-08-14 00:48:49 +0200 |
| commit | a7c5e29ba9a6364e851fd4aa0924395c59cb324e (patch) | |
| tree | c1955be352de0049458f3b5bf081b9f0861b180b /coq/coq-abbrev.el | |
| parent | 66ea13a2b855597ef8b5b648d0e8c398ac471933 (diff) | |
Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).
Diffstat (limited to 'coq/coq-abbrev.el')
| -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"] )) |