From e59dd9b444501a3881b3e09917754e6e9b51b58d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 5 May 2011 17:44:04 +0000
Subject: Update dates.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3fe9041d..1ff6d542 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -64,7 +64,7 @@
 
 @set version 4.1
 @set emacsversion 23.2
-@set last-update January 2011
+@set last-update May 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3