diff options
-rw-r--r-- | html/news.html | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/html/news.html b/html/news.html index 931fb777..5d0c1d28 100644 --- a/html/news.html +++ b/html/news.html @@ -2,6 +2,20 @@ <ul> +<li><b>1st August 2001</b> +<p> +The past few months have seen a few more improvements and +bug fixes to Proof General: many thanks to those who have +sent us <a href="feedback.html">useful feedback</a>. +It's time that we made a proper release, so please try +out the <a href="develdownload.html">development release</a> +and help us iron out as many more problems as we can. +<br> +Emacs Lisp and the Emacsen libraries has to be one of the +worst moving target platforms to develop an application on, +so please help us! Once things are looking good, we'll +release PG 3.3. +</p> <li><b>8th May 2001</b> <p> Proof General has had a few quiet improvements since October, which @@ -9,11 +23,7 @@ appear in the current <a href="develdownload.html">development release</a>. This version also has some compatibility fixes for the recent releases of Emacs (20.7) and XEmacs (21.4). -<br> -Emacs Lisp and the Emacsen libraries has to be one of the -worst moving target platforms to develop an application on. -Please test out this version let us know of any problems. -Once things are looking good, we'll release PG 3.3 +</p> <li><b>2nd October 2000</b> <p> |