From fda89c27a407b71118adc3950d618b6518b625dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Aug 2009 22:33:45 +0000
Subject: Update versions

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 5da9b5e8..4ffeb659 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.0pre
-@set emacsversion 22.2.1
-@set last-update December 2008
+@set version 4.0
+@set emacsversion 23.1
+@set last-update September 2009
 @set rcsid $Id$
 
 @ifinfo
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 0d03b745..7f3e0d9f 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.0pre
-@set emacsversion 22.2.1
-@set last-update July 2009
+@set version 4.0
+@set emacsversion 23.1
+@set last-update September 2009
 @set rcsid $Id$
 
 @ifinfo
@@ -2996,7 +2996,7 @@ The default value is @code{t}.
 Whether Proof General allows text undo in the read-only region.@*
 If non-nil, undo will allow altering of processed text.
 If nil, undo history is cut at first edit
-of processed text.  NB: the history manipulation only works on GNU Emacs.
+of processed text.
 
 The default value is @code{t}.
 @end defopt
-- 
cgit v1.2.3