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/news.phtml | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'html/news.phtml')

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