From ff8438b9930ad21b625a02e9c172c8293556f3cc Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 22 Mar 2017 17:55:20 +0100 Subject: Added support for future new options (trunk). --- coq/coq-abbrev.el | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'coq/coq-abbrev.el') diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 2b318dea..062f7580 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -289,10 +289,14 @@ It was constructed with `proof-defstringset-fn'.") ["Unset Printing Implicit" coq-unset-printing-implicit t] ["Set Printing Coercions" coq-set-printing-coercions t] ["Unset Printing Coercions" coq-unset-printing-coercions t] + ["Set Printing Compact Contexts" coq-set-printing-implicit t] + ["Unset Printing Compact Contexts" coq-unset-printing-implicit t] ["Set Printing Synth" coq-set-printing-synth t] ["Unset Printing Synth" coq-unset-printing-synth t] ["Set Printing Universes" coq-set-printing-universes t] ["Unset Printing Universes" coq-unset-printing-universes t] + ["Set Printing Unfocused" coq-set-printing-unfocused t] + ["Unset Printing Unfocused" coq-unset-printing-unfocused t] ["Set Printing Wildcards" coq-set-printing-wildcards t] ["Unset Printing Wildcards" coq-unset-printing-wildcards t] ["Set Printing Width" coq-ask-adapt-printing-width-and-show t]) -- cgit v1.2.3