From 8ca4face75e4a49bb7c41060130425bc13cfbc87 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 30 Sep 1999 16:23:26 +0000
Subject: News for 1st October.

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 8856a97b..c4f4ee88 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -1,4 +1,25 @@
 <ul>
+<li><b>1st October 1999</b><br>
+ <p>
+ Recently there has been a flurry of work on the forthcoming Proof General 2.2. <br>  
+ It has quite a number of improvements (see
+ the <?php fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made
+ by myself and Markus Wenzel.  <br>
+ Version 2.2 is aimed to coincide
+ (or perhaps pre-empt) the release of Isabelle 99.
+ </p>
+ <p>
+ At the moment we <b>urgently need</b> somebody from the Coq world to
+ maintain and improve Coq Proof General, since Patrick Loiseleur 
+ can no longer work on it.  <br>
+ Support from the Coq community is vital for Proof General to
+ be a useful tool there. <br>
+ <a href="feedback.phtml">Please offer to help</a>, it needn't be 
+ heavy commitment.
+ </p>
+ <p>
+ <i>- David.</i>
+ </p>
 <li><b>13th September 1999</b><br>
  <p>
  I've just returned from the 
@@ -16,6 +37,8 @@
  Sebastian Skalberg,
  Thierry Massart,
  Darmalingum Muthiayen.
+ <br>
+ <i>- David.</i>
  </p>
 <li><b>27th August 1999</b><br>
  <p>
-- 
cgit v1.2.3