From ef6b56d6a053fa531ccd865b65f389b192bcd8d9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 17:50:15 +0000
Subject: Updated.

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

(limited to 'README')

diff --git a/README b/README
index 491f3550..53eeb8f0 100644
--- a/README
+++ b/README
@@ -3,8 +3,8 @@ Proof General --- Organize your proofs!
 
 Proof General is a generic Emacs interface for proof assistants.
 
-This is version 3.4 of Proof General.   
-(Check the About screen for a precise version number).
+This is version 3.5pre of Proof General.   
+(Check About screen for a precise version number; also see CHANGES).
 
 The aim of the Proof General project is to provide a powerful and
 configurable interfaces which help user-interaction with interactive
-- 
cgit v1.2.3