From ece250057031462ef8ccb0f33bef1b2c6552e552 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 27 Mar 2013 14:19:33 +0000 Subject: add 4.3 news to user manual --- doc/ProofGeneral.texi | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'doc') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index adaecd03..13399c17 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -199,6 +199,7 @@ other documentation, system downloads, etc. @menu +* News for Version 4.3:: * News for Version 4.2:: * News for Version 4.1:: * News for Version 4.0:: @@ -206,6 +207,19 @@ other documentation, system downloads, etc. * Credits:: @end menu +@node News for Version 4.3 +@unnumberedsec News for Version 4.3 +@cindex news + +In Proof General version 4.3, the multiple file handling for Coq +has been improved. It now supports asynchronous and parallel +compilation of required modules. + +The proof tree display now supports the newest features of Coq +8.4. Proof General version 4.3 is compatible with Prooftree +version 0.11 (or better). + + @node News for Version 4.2 @unnumberedsec News for Version 4.2 @cindex news -- cgit v1.2.3