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 /html/oldnews.html | |
| parent | 4d2ea7b78028cb3b8bfdac7f24031f44dbaa98e3 (diff) | |
News item for PG 3.4
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 |