From 6517ac9c74d340ceaac09b17b34150b1f7124fd1 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 10 Jun 2011 14:39:06 +0000
Subject: Update dates, magic.

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

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

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