From 6517ac9c74d340ceaac09b17b34150b1f7124fd1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Jun 2011 14:39:06 +0000
Subject: Update dates, magic.

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index f689c654..fe516973 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -55,8 +55,8 @@
 
 
 @set version 4.1
-@set emacsversion 23.2
-@set last-update May 2011
+@set emacsversion 23.3
+@set last-update June 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
@@ -3239,7 +3239,7 @@ Before the retraction is calculated, we enforce the file-level
 protocol with @samp{@code{proof-activate-scripting}}.  This has a couple
 of effects:
 
-1. If the file is is completely processed, we have to re-open it
+1. If the file is completely processed, we have to re-open it
 for scripting again which may involve retracting
 other (dependent) files.
 
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index b6cb3531..6fc43a19 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -63,8 +63,8 @@
 @c
 
 @set version 4.1
-@set emacsversion 23.2
-@set last-update May 2011
+@set emacsversion 23.3
+@set last-update June 2011
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3