From 2630829033e822158b3c89dd9d5e4f48ba92a026 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 26 Mar 2015 18:11:31 +0000 Subject: A command to set coq printing width smartly. Set the width to the current goals window. Default binding: C-c C-a C-w. --- coq/coq-abbrev.el | 1 + 1 file changed, 1 insertion(+) (limited to 'coq/coq-abbrev.el') diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 431f463f..a088fba8 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -172,6 +172,7 @@ ["UnSet Printing All" coq-unset-printing-all t] ["Set Implicit Argument" coq-set-implicit-arguments t] ["Unset Implicit Argument" coq-unset-implicit-arguments t] + ["Adapt Printing Width" coq-adapt-printing-width 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] -- cgit v1.2.3