From 4219143bb90b52f8022eab78d4ebe0765d5ba781 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Mar 2004 13:23:18 +0000
Subject: Update last updated stamp

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

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 1e072331..703f39af 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -66,7 +66,7 @@
 @set version 3.5pre
 @set xemacsversion 21.4
 @set fsfversion 21.2
-@set last-update September 2002
+@set last-update March 2004
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3