From 1a7dbdd55987e2c0385c98aefcec2917ffa89d41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Jul 1999 11:42:50 +0000
Subject: Date change.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 527ab6d9..a442fc77 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -46,7 +46,7 @@
 @set version 2.1
 @set xemacsversion 20.4
 @set fsfversion 20.2
-@set last-update June 1999
+@set last-update July 1999
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3