diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-30 16:23:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-30 16:23:26 +0000 |
| commit | 8ca4face75e4a49bb7c41060130425bc13cfbc87 (patch) | |
| tree | 16ef0f8da1e579f794a1e91545c63ccc0b88f75d /html | |
| parent | e52d42b2ce7e30d90c2f7444b51cd34ac40c6b92 (diff) | |
News for 1st October.
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> |