From a256d592c6e23747f327c993d947964b807e4991 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 3 Oct 2011 09:04:26 +0000
Subject: Update dates and versions

---
 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 c16c45d2..0f9a5919 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -64,7 +64,7 @@
 
 @set version 4.1
 @set emacsversion 23.3
-@set last-update June 2011
+@set last-update October 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3