diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-08-29 15:34:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-08-29 15:34:41 +0000 |
commit | 80dc1389a262eb31f36328681244fbfa9bb75719 (patch) | |
tree | 188d869dcee223dccab4d398545f6bf4f1bade53 /html | |
parent | 433010c92cd86bcaaa57896b8516382f7a5f4bb2 (diff) |
Tweak
Diffstat (limited to 'html')
-rw-r--r-- | html/news.phtml | 11 |
1 files changed, 6 insertions, 5 deletions
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. |