diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/html/news.html b/html/news.html index b96962bc..23240176 100644 --- a/html/news.html +++ b/html/news.html @@ -1,12 +1,23 @@ <h2>News about Proof General</h2> <ul> +<li><b>11th December 2001</b> +<p> +The current <a href="devel.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> </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> --> |