diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-30 16:43:50 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-30 16:43:50 +0100 |
commit | 2016f5f71f497bc7906c945b088ad93689ffd2bf (patch) | |
tree | cae91d8a3d79eb7f6b503365de7b0d54ec0a96be | |
parent | 22c3951cfdf4938fa6df7368daed7bead05e4592 (diff) |
Updated the CHANGES files, mainly git url.
-rw-r--r-- | CHANGES | 15 |
1 files changed, 11 insertions, 4 deletions
@@ -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 |