From a154007cbb7493161f3e359391fd2d4eea743b49 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 12 Jul 2008 14:19:31 +0000
Subject: Updated.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index ca3c607a..9ef284df 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -219,7 +219,7 @@ other documentation, system downloads, etc.
 
 
 @menu
-* Latest news for version 3.7::
+* Latest news for version 3.7.1::
 * Future::
 * Credits::                     
 @end menu
-- 
cgit v1.2.3