From 776b39b1bb143dc657305e59ebfa3e065b1a4129 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 12 Jul 2008 14:08:18 +0000
Subject: Update for 3.7.1

---
 doc/ProofGeneral.texi | 13 ++++++++-----
 1 file 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
-- 
cgit v1.2.3