From 2016f5f71f497bc7906c945b088ad93689ffd2bf Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 30 Nov 2015 16:43:50 +0100 Subject: Updated the CHANGES files, mainly git url. --- CHANGES | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index e5fc9357..abd0caee 100644 --- a/CHANGES +++ b/CHANGES @@ -1,11 +1,17 @@ -*- outline -*- This is a summary of main changes. For details, please see -the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. - +the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. * Changes of Proof General 4.3 from Proof General 4.2 +** ProofGeneral has moved to github! + + https://github.com/ProofGeneral/PG. + + Please submit new bugs there, old bugs may stay in good old PG trac + for a while though: http://proofgeneral.inf.ed.ac.uk/trac. + ** Prooftree changes *** Require Prooftree version 0.11 @@ -120,11 +126,12 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. *** Colors in response and goals buffers Experimental: colorize hypothesis names and some parts of error - and warning messages. For readability. + and warning messages, and also evars. For readability. *** Auto adjusting of printing width - On by default. To disable: Coq/Settings/Auto Adapt Printing Width. + On by default. To disable: Coq/Settings/Auto Adapt Printing Width + or (setq coq-auto-adapt-printing-width nil). *** Coq Querying facilities -- cgit v1.2.3