diff options
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 |