From ae264cedd29525482907e03cb16cf14e7688a946 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:32:53 +0000
Subject: Update

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

diff --git a/README.3.5.1pre b/README.3.5.1pre
index 10575ec3..01a3f822 100644
--- a/README.3.5.1pre
+++ b/README.3.5.1pre
@@ -8,8 +8,9 @@ PG 3.5, including:
   -- automatic adjusting of line width
 
 There are other minor improvements to documentation, and some
-minor improvements for Isabelle.
-	
+improvements for Isabelle, in particular to support additional features
+in the current CVS version of Isabelle.
+
 [da, 4/6/04].
 
 
-- 
cgit v1.2.3