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/PG-adapting.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 0f8a1047..8adefaea 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -56,7 +56,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