From f6fcaa9b61b3fee39a78ba2e553853eaa75678ac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 14:20:37 +0000
Subject: Note about release 3.0.

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 9daad9a3..47bf7cb8 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -4,6 +4,14 @@
 </p>
 
 <ul>
+<li><b>8th November 1999</b><br>
+<p>
+Isabelle 99 was released last week, and Proof General 3.0 should
+be ready for release in the next week or so.  In
+the meantime, please use the current 
+<a href="download.phtml#prerel">pre-release</a>
+for Isabelle 99.
+</p>
 <li><b>21st October 1999</b><br>
  <p>
  See what Proof General 3.0 will look like!
-- 
cgit v1.2.3