From 953678b52e65c7b4f79beb95fede63ce98c6f69b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Jun 2004 11:44:46 +0000
Subject: Update notice

---
 README.3.5.1pre | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.3.5.1pre b/README.3.5.1pre
index 9adbd07d..10575ec3 100644
--- a/README.3.5.1pre
+++ b/README.3.5.1pre
@@ -1,7 +1,7 @@
 This is a pre-release of an update to version 3.5 of Proof General.
 
-We are working on improving Coq support for the final version 
-advertised verison of PG 3.5, including:
+We are working on improving Coq support for the advertised verison of
+PG 3.5, including:
 
   -- fixes to X-Symbol symbols
   -- multiple file handling
@@ -10,6 +10,6 @@ advertised verison of PG 3.5, including:
 There are other minor improvements to documentation, and some
 minor improvements for Isabelle.
 	
-[da, 7/5/04].
+[da, 4/6/04].
 
 
-- 
cgit v1.2.3