diff options
| author | Hendrik Tews | 2013-03-27 14:19:33 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2013-03-27 14:19:33 +0000 |
| commit | ece250057031462ef8ccb0f33bef1b2c6552e552 (patch) | |
| tree | 3ec6c1a7544dc00968089622638261c722904852 | |
| parent | 612d6f69ed9908051d2df682243c6765ea7e0fb1 (diff) | |
add 4.3 news to user manual
| -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 |