News item about Emacs 21 support

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