diff options
| author | David Aspinall | 2002-06-18 23:38:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-18 23:38:57 +0000 |
| commit | 87b81000d9666c4ebd606d09fc52a5263dc56877 (patch) | |
| tree | 7d45961d4f0e9da16be8b085a8631723f4139588 | |
| parent | 7c6d01b95958b88d2a942e2c6cb48ef0756145dc (diff) | |
Add news for PG 3.4
| -rw-r--r-- | doc/ProofGeneral.texi | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 125e81fa..9deddd96 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -206,8 +206,9 @@ other documentation, system downloads, etc. @menu -* Latest news for 3.3:: +* Latest news for 3.4:: * Future:: +* Old News for 3.3:: * Old News for 3.2:: * Old News for 3.1:: * Old News for 3.0:: @@ -215,10 +216,21 @@ other documentation, system downloads, etc. * Credits:: @end menu -@node Latest news for 3.3 -@unnumberedsec Latest news for 3.3 +@node Latest news for 3.4 +@unnumberedsec Latest news for 3.4 @cindex news +Proof General 3.4 continues from version 3.3 with improvements (in +particular, much better retraction support in Coq) and compatibility +fixes for new versions of Emacs (in particular, GNU Emacs 21). + +See the @file{CHANGES} file in the distribution for more complete +details of changes since 3.3. + + +@node Old news for 3.3 +@unnumberedsec Old news for 3.3 + Proof General 3.3 includes a few feature additions, but mainly the focus has been on compatibility improvements for new versions of provers (in particular, Coq 7), and new versions of emacs (in particular, XEmacs |