From b897b3d16393819ccd34e64fa536e66b92cc949d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 16:57:05 +0000
Subject: Update date.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index afd1aa62..888ab292 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -254,7 +254,7 @@ Proof General now tries to do the right thing if you're deviant enough
 to try them out!
 
 The work on this release was undertaken by David Aspinall between
-May-August 2000, and also includes contributions from Markus Wenzel and
+May-September 2000, and includes contributions from Markus Wenzel and
 Pierre Courtieu.
 
 @node News for 3.1
-- 
cgit v1.2.3