From 8aa0cd975767568b62a91ce7ea00701e23c271a0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Jan 2011 18:39:50 +0000
Subject: Update date stamps

---
 doc/PG-adapting.texi  | 4 ++--
 doc/ProofGeneral.texi | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index d97e32d7..7ff873af 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -60,9 +60,9 @@
 @c        @ref{node}                without "see". Careful for info.
 
 
-@set version 4.0
+@set version 4.1
 @set emacsversion 23.2
-@set last-update October 2010
+@set last-update January 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 69966f25..154fd42c 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -68,9 +68,9 @@
 @c        @ref{node}                without "see". Careful for info.
 @c
 
-@set version 4.0
+@set version 4.1
 @set emacsversion 23.2
-@set last-update October 2010
+@set last-update January 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3