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 ++++----
 html/news.phtml | 11 +++++++++++
 2 files changed, 15 insertions(+), 4 deletions(-)

(limited to 'html')

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