diff options
| author | David Aspinall | 2002-07-14 12:23:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-14 12:23:04 +0000 |
| commit | 9a9a0cc1a62c2e57e145ce7d19a8858dc0a1b3ef (patch) | |
| tree | f1dcf322a562bfcabbe8df5debd56cd8a629c6cc /html | |
| parent | af1a4c6d5b168387abd5473b249a7d17827dba8a (diff) | |
Rewrite history
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 |