From 80dc1389a262eb31f36328681244fbfa9bb75719 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Aug 2000 15:34:41 +0000
Subject: Tweak

---
 html/news.phtml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 279b9fbd..621ada5c 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -8,11 +8,12 @@
 <ul>
 <li><b>28th Aug 2000</b>
 <p>
-Testing phase for Proof General 3.2.  Please try out the 
-<a href="develdownload.phtml">pre-release</a>
-version of Proof General, and report any problems to us.
-Your feedback is very important because we have no resources
-available for serious compatibility testing ourselves.
+We're starting the testing phase for Proof General 3.2.  
+It has several new features and improvements.
+Please try out the <a href="develdownload.phtml">pre-release</a>
+version, and report any problems to us.  Your
+feedback is very important because we have no resources available for
+serious compatibility testing ourselves.
 </p>
 <p>
 We hope to release 3.2 by the end of September.
-- 
cgit v1.2.3