From 14b8d0e24ef48032885018b4020969593477ee26 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 12 Oct 2015 20:49:05 +0200 Subject: proof-assert-command-hook added + Auto adjust width in coq mode. This hook was missing, it allows to send complete commands before the (set of) command(s) sent by the user. It shall be used when proof-shell-insert-hook cannot be used (because of multiple prompts appearing). --- CHANGES | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 589a1b08..e5fc9357 100644 --- a/CHANGES +++ b/CHANGES @@ -122,13 +122,18 @@ 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 +*** Auto adjusting of printing width - (coq-adapt-printing-width) sets the coq printing width to the - width of goals window. Default binding: C-c C-a C-w. + On by default. To disable: Coq/Settings/Auto Adapt Printing Width. *** Coq Querying facilities +*** Removed the Set Undo 500 at start. + This is obsolete. To recover: (setq coq-user-init-cmd `("Set Undo 500.")) + + + + **** Minibuffer interactive queries Menu Coq/Other Queries (C-c C-a C-q) allows to send queries (like -- cgit v1.2.3