From 8aa0cd975767568b62a91ce7ea00701e23c271a0 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 19 Jan 2011 18:39:50 +0000
Subject: Update date stamps

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

(limited to 'doc/PG-adapting.texi')

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
-- 
cgit v1.2.3