From 6ec45f32ed9f2bb3a2acf4144b0aab5333f6038c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Feb 2000 19:54:42 +0000
Subject: Added note about countdown to 3.1

---
 html/news.phtml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 90833d64..9214f1ab 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,19 @@
 </p>
 
 <ul>
+<li><b>9th February 2000</b><br> 
+Countdown to Proof General 3.1 begins.  This will be a bug fix releaase.
+A few bugs have been fixed in
+recent Proof General development releases, one important one is fixing
+support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu
+for raising it to my attention).  I would like to release PG 3.1 next
+month so that everyone can benefit.
+<p>
+In the meantime, please 
+<?php hlink("feedback.phtml","report any important problems","Feedback form")?>
+that you would like to see fixed, and consider trying out 
+the current <a href="devel.phtml">development release</a>.
+
 <li><b>14th December 1999</b><br>
 <p>
 I'm pleased to say that Proof General will be demonstrated at
-- 
cgit v1.2.3