diff options
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. |