diff options
| author | David Aspinall | 2002-08-29 00:24:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 00:24:36 +0000 |
| commit | ad0d67b52c1072b7d30d12e6fbda698f846660b2 (patch) | |
| tree | b0de31ee56b6cad3bb34fe52628c9d306433a7e8 /html/oldnews.html | |
| parent | 63a3cd72fb7c285fcc110981dfa5a77b808ff01d (diff) | |
News about 3.4; links to download.
Diffstat (limited to 'html/oldnews.html')
| -rw-r--r-- | html/oldnews.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/html/oldnews.html b/html/oldnews.html index 33e1510e..89d856c7 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -5,6 +5,23 @@ <ul> +<li><b>19th June 2002</b> +<p> +We plan to release version <b>3.4</b> of Proof General +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 Emacs (notably GNU Emacs 21.x) +and various proof assistants. +<br> +<b>Please, please, please</b> do test some <a +href="develdownload.html">development releases</a> for us in the +meantime and <a href="feedback">report any difficulties</a>, +to help make the next release of Proof General as +robust as possible. Thanks! +</p> +</li> + <li><b>14th December 2001</b> <p> The current <a href="develdownload.html">development release</a> takes |