diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index e43a6f0a..f4cc618f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -214,11 +214,23 @@ other documentation, system downloads, etc. @menu +* News for Version 4.1:: * News for Version 4.0:: * Future:: * Credits:: @end menu +@node News for Version 4.1 +@unnumberedsec News for Version 4.0 +@cindex news + +Proof General version 4.1 adds some compatibility fixes to +Proof General 4.0, specifically for Coq version 8.3 +and Isabelle 2011. + +It also contains a new implementation of multiple file handling +for Coq provided by Hendrik Tews. + @node News for Version 4.0 @unnumberedsec News for Version 4.0 @cindex news |