diff options
| author | David Aspinall | 1999-10-12 14:16:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-12 14:16:05 +0000 |
| commit | dc7d2b64efc46cbb93f3b26245dad012ead0e843 (patch) | |
| tree | 1ac502ee7c26da787d5c51a6689071f1162ab917 /html/news.phtml | |
| parent | 1244c71a31f937c6bcd65f9ad23274990a91877a (diff) | |
New Coq maintainer.
Diffstat (limited to 'html/news.phtml')
| -rw-r--r-- | html/news.phtml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml index 7f6b1795..6a8e9f76 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -17,6 +17,17 @@ <!-- Please test a Version 3.0 pre-release if you can --> <!-- and report any problems. --> <!-- </p> --> +<li><b>12th October 1999</b><br> + <p> + I'm very grateful to + <a href="mailto:courtieu@lri.fr">Pierre Courtieu <courtieu@lri.fr></a> + for offering to help work on Coq Proof General. + <br> + If anyone else in the Coq community would like to assist, please + offer still, + there is plenty to do to add: better recognition of proof scripts, + multiple file management, proof by pointing, etc... + </p> <li><b>1st October 1999</b><br> <p> Recently there has been a flurry of work on the next version of Proof General. <br> |