diff options
| author | David Aspinall | 2001-05-08 11:12:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-08 11:12:47 +0000 |
| commit | ee4d78e3f74adaef772699c95454621518416712 (patch) | |
| tree | aa2adeb0f4e7bd44dac931b8b7747e4ce8c811ce /html | |
| parent | 982af508367c4400e1c17f5f07f74e7374c57a42 (diff) | |
New news item
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/html/news.html b/html/news.html index 49c9e677..931fb777 100644 --- a/html/news.html +++ b/html/news.html @@ -2,6 +2,19 @@ <ul> +<li><b>8th May 2001</b> +<p> +Proof General has had a few quiet improvements since October, which +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 + <li><b>2nd October 2000</b> <p> Proof General 3.2 is released today. Happy proving! |