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