diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 14:08:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-12 14:08:18 +0000 |
commit | 776b39b1bb143dc657305e59ebfa3e065b1a4129 (patch) | |
tree | dd69b1da2f4781aa019f7ed575d36453bb487848 /doc | |
parent | d88c5650bc146b748a2a461ceaa2e12c6a6e74c1 (diff) |
Update for 3.7.1
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 5573ac41..ca3c607a 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -72,8 +72,8 @@ @set version 3.7 @set xemacsversion 21.5.28 -@set fsfversion 22.1.1 -@set last-update January 2008 +@set fsfversion 22.2.1 +@set last-update July 2008 @set rcsid $Id$ @ifinfo @@ -224,10 +224,13 @@ other documentation, system downloads, etc. * Credits:: @end menu -@node Latest news for version 3.7 -@unnumberedsec Latest news for version 3.7 +@node Latest news for version 3.7.1 +@unnumberedsec Latest news for version 3.7.1 @cindex news +Proof General version 3.7.1 is an updated and enhanced version +of Proof General 3.7. See @file{CHANGES} for more details. + Proof General version 3.7 collects together a cummulative set of improvements to Proof General 3.5. There are compatibility fixes for newer Emacs versions, and particularly for GNU Emacs: credit is due to @@ -621,7 +624,7 @@ proof assistants, including these: @b{Coq Proof General} for Coq Version 6.3, 7.x, 8.x@* @xref{Coq Proof General}, for more details. @item -@b{Isabelle Proof General} for Isabelle2005 and Isabelle2007@* +@b{Isabelle Proof General} for Isabelle2005, Isabelle2007 and Isabelle2008@* @xref{Isabelle Proof General}, and documentation supplied with Isabelle for more details. @c @item |