diff options
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 8 |
1 files changed, 4 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> |