From c6e7fecf796538c84415841f76e4af86603a6bdb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Sep 2000 17:00:17 +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 01574dec..5a850ded 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -67,7 +67,7 @@
 @set version 3.2prerelease
 @set xemacsversion 21.1
 @set fsfversion 20.5
-@set last-update August 2000
+@set last-update September 2000
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3