From 8191e5d345de522ebc1303dff06f0a3db121819d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 07:03:27 +0000
Subject: Remove comma from section heading, bad for info.

---
 doc/ProofGeneral.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 9a4bd36c..771f515e 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -195,15 +195,15 @@ other documentation, system downloads, etc.
 
 
 @menu
-* Latest news, for 3.1::                     
+* Latest news for 3.1::                     
 * News for 3.0::                     
 * History::                     
 * Credits::                     
 @end menu
 
 
-@node Latest news, for 3.1
-@unnumberedsec Latest news, for 3.1
+@node Latest news for 3.1
+@unnumberedsec Latest news for 3.1
 @cindex news
 
 Proof General 3.1 is released as a bug-fix improvement over version 3.0.
-- 
cgit v1.2.3