From dc7d2b64efc46cbb93f3b26245dad012ead0e843 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 14:16:05 +0000
Subject: New Coq maintainer.

---
 html/main.phtml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/main.phtml')

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 &lt;courtieu@lri.fr&gt;</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>
-- 
cgit v1.2.3