From 2a217ab5d65ec07598832c0bb04e98ea6c9be886 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Jun 2002 00:23:01 +0000
Subject: Fix info

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 9deddd96..65c3979f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -228,8 +228,8 @@ 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
+@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
-- 
cgit v1.2.3