From 97893990ffcfbbf6649d971e5cdbb56102804fc4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Jun 2002 22:14:17 +0000
Subject: News item for PG 3.4

---
 html/oldnews.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'html/oldnews.html')

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
-- 
cgit v1.2.3