diff options
| author | David Aspinall | 2002-06-18 22:14:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-18 22:14:17 +0000 |
| commit | 97893990ffcfbbf6649d971e5cdbb56102804fc4 (patch) | |
| tree | 2aa6cf37b999a95212a2c6865be4a10bf1fccf78 | |
| parent | 4d2ea7b78028cb3b8bfdac7f24031f44dbaa98e3 (diff) | |
News item for PG 3.4
| -rw-r--r-- | html/news.html | 24 | ||||
| -rw-r--r-- | html/oldnews.html | 17 |
2 files changed, 28 insertions, 13 deletions
diff --git a/html/news.html b/html/news.html index e7f80cb6..a4c9d22a 100644 --- a/html/news.html +++ b/html/news.html @@ -1,23 +1,21 @@ <h2>News about Proof General</h2> <ul> -<li><b>11th December 2001</b> +<li><b>19th June 2002</b> <p> -The current <a href="develdownload.html">development release</a> takes -advantage of the new fancy features available in GNU Emacs 21, to add -toolbar support and other features there. As usual, maintaining the -code to work with both Emacs versions is quite troublesome, so bug -reports and patches from users are very welcome. +We plan to release version <b>3.4</b> of Proof General in the +next few weeks. 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. +<br> +<b>Please, please, please</b> do test the <a +href="develdownload.html">development release</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>10th September 2001</b> -<p> -<a href="download">Proof General 3.3</a> is released, with -<?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to -increase your proof script editing efficiency. Happy proving! -</p> -</li> </ul> <!-- da: Put this line in instead if you're not me --> <!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> --> diff --git a/html/oldnews.html b/html/oldnews.html index ab284c0f..33e1510e 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -5,6 +5,23 @@ <ul> +<li><b>14th December 2001</b> +<p> +The current <a href="develdownload.html">development release</a> takes +advantage of the new fancy features available in GNU Emacs 21, to add +toolbar support and other features there. As usual, maintaining the +code to work with both Emacs versions is quite troublesome, so bug +reports and patches from users are very welcome. +</p> +</li> + +<li><b>10th September 2001</b> +<p> +<a href="download">Proof General 3.3</a> is released, with +<?php fileshow("ProofGeneral-3.3/CHANGES","new features"); ?> to +increase your proof script editing efficiency. Happy proving! +</p> +</li> <li><b>1st August 2001</b> <p> The past few months have seen a few more improvements and |