diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/news.phtml | 23 |
1 files changed, 23 insertions, 0 deletions
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> |