From 2a5709c354e09b06556f3f1e19bf2d9a5ad91564 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Apr 2004 16:58:54 +0000
Subject: Updated.

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index e030ffc2..a28ec3aa 100644
--- a/README
+++ b/README
@@ -15,7 +15,7 @@ Proof General --- Organize your proofs!  [proofgeneral.inf.ed.ac.uk]
 
 Proof General is a generic Emacs interface for proof assistants.
 
-This is version 3.5pre of Proof General.   
+This is version 3.5 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
-- 
cgit v1.2.3