From ef4c4bdd09a577e40f3e5e31cb78349e60ce48f1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 17:57:45 +0000
Subject: Date becomes Oct

---
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 5b35329f..c56d866c 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -62,7 +62,7 @@
 @set version 3.2
 @set xemacsversion 21.1
 @set fsfversion 20.7
-@set last-update September 2000
+@set last-update October 2000
 @set rcsid $Id$
 
 @ifinfo
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 9956703e..63044be9 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -67,7 +67,7 @@
 @set version 3.2
 @set xemacsversion 21.1
 @set fsfversion 20.7
-@set last-update September 2000
+@set last-update October 2000
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3