diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 14 |
1 files changed, 14 insertions, 0 deletions
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 |