From 280ba03f4778c35f74b8f35de981b807e8ccae1f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Oct 2011 12:49:34 +0000
Subject: Bump doc version numbers to 4.2pre.

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 6bfa7d60..d60f4d78 100644
--- a/README
+++ b/README
@@ -4,8 +4,8 @@ Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.
 
-This is version 4.1 of Proof General.  See About for exact version.
-It is built for Emacs 23.3.  
+This is version 4.2 (prerelease) of Proof General.  See About for exact version.
+It is built for Emacs 23.3.
 
 The code *may* also work with previous emacs versions, back as far as
 Emacs 22.3.  But you will need to regenerated the byte-compiled files
-- 
cgit v1.2.3