From e625918a2b74c0c421844793bdefe69b79869433 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 16:27:20 +0000
Subject: Date updated.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 45c9aecc..e3483b6d 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -52,7 +52,7 @@
 @set version 2.1
 @set xemacsversion 20.4
 @set fsfversion 20.2
-@set last-update July 1999
+@set last-update August 1999
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3