diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/html/news.html b/html/news.html index cbc1ecaf..185a8131 100644 --- a/html/news.html +++ b/html/news.html @@ -11,9 +11,11 @@ allowing packaging and distribution of the code by others. <li><b>19th June 2002</b> <p> We plan to release version <b>3.4</b> of Proof General -next month. This update will have several significant improvements +in August. This update will have several significant +improvements (notably to the synchronization support for Coq), and also includes -fixes and updates for recent versions of (X)Emacs and various proof assistants. +fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x) +and various proof assistants. <br> <b>Please, please, please</b> do test the <a href="develdownload.html">development release</a> for us in the |