From a7c5e29ba9a6364e851fd4aa0924395c59cb324e Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 14 Aug 2016 00:48:49 +0200 Subject: Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset). --- coq/coq-abbrev.el | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'coq/coq-abbrev.el') 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"] )) -- cgit v1.2.3