From dbfe0a4f3b7be8f18ff89f5a544cb9d9ef891b70 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 21 Mar 2016 16:11:28 +0100 Subject: updating CHANGES to the last commit. --- CHANGES | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 384cb1df..7f544c88 100644 --- a/CHANGES +++ b/CHANGES @@ -111,6 +111,16 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. *** Support for prettify-symbols-mode. +*** Option to disable the auto resizing of response buffer: + + By default when the response buffer is on the same column than + goals buffer, pg changes its size dynamically to optimize goals + displaying. + + To disable this feature use: + (setq coq-optimise-resp-windows-enable nil) + + *** Colors in response and goals buffers Experimental: colorize hypothesis names and some parts of error -- cgit v1.2.3