diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-24 13:34:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-24 13:34:03 +0000 |
| commit | bc1b00e59be6b20c9ff08ff6a4b3cbc8b564b4ec (patch) | |
| tree | a2afa9a4e048f36243dbe5b8179323f5c88b975a /doc | |
| parent | 15fa4ae0b6c7527ea65bc2c0116fd1564f78df9c (diff) | |
Add News for 4.1
Diffstat (limited to 'doc')
| -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 |