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. --- CHANGES | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index d09b67cb..779f334a 100644 --- a/CHANGES +++ b/CHANGES @@ -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 -- cgit v1.2.3