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 | |
| parent | 1244c71a31f937c6bcd65f9ad23274990a91877a (diff) | |
New Coq maintainer.
| -rw-r--r-- | html/main.phtml | 8 | ||||
| -rw-r--r-- | html/news.phtml | 11 |
2 files changed, 15 insertions, 4 deletions
diff --git a/html/main.phtml b/html/main.phtml index ceed3134..a04de07e 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -47,9 +47,8 @@ including: First crafted by <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. <br> - <b>No current maintainer. - <a href="feedback.phtml">Please offer to help!!</a>. - </b> + Maintained by + <a href="mailto:courtieu@lri.fr">Pierre Courtieu <courtieu@lri.fr></a>. </div> </td> </tr> @@ -97,7 +96,8 @@ including: </table> <p> We also supply instructions for how to customize Proof General to new -proof assistants. +proof assistants. Experimental support for new proof assistants is +made available in our developers release. </p> <p> 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> |