From ba2e256b6dd7aecffb3b4b9ea790e24b0306d139 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 14:41:45 +0000
Subject: Added in-testing message

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index ddce725e..223235fe 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,12 @@
 </p>
 
 <ul>
+<li><b>15th November 1999</b><br>
+<p>
+Proof General 3.0 is currently in testing, and will be released later
+this week.  In the meantime, please send feedback on 
+current pre-releases!
+</p>
 <li><b>9th November 1999</b><br>
 <p>
 Isabelle 99 was released last week, and Proof General 3.0 should
-- 
cgit v1.2.3