From 0373788695340b562d11462baa882baa3612eac9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 24 Aug 2010 11:43:53 +0000
Subject: Update versions

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index b985c2f2..c9bdadd3 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -69,8 +69,8 @@
 @c
 
 @set version 4.0
-@set emacsversion 23.1
-@set last-update August 2010
+@set emacsversion 23.2
+@set last-update September 2010
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3