diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 18:11:31 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 18:11:31 +0000 |
commit | 2630829033e822158b3c89dd9d5e4f48ba92a026 (patch) | |
tree | d85d43d8247d7f320e71c0119468653ccfb69171 /CHANGES | |
parent | a8e3c5e6d52bbf52bee76dd1609b7fca9bd48f3e (diff) |
A command to set coq printing width smartly.
Set the width to the current goals window.
Default binding: C-c C-a C-w.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -116,6 +116,11 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. Experimental: colorize hypothesis names and some parts of error and warning messages. For readability. +*** Set Printing Width adapted to goals window size + + (coq-adapt-printing-width) sets the coq printing width to the + width of goals window. Default binding: C-c C-a C-w. + *** Coq Querying facilities **** Minibuffer interactive queries |