From ee010e5edb82be8eb0946c5c7295ab91fe5f73ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 21 Sep 1999 17:52:07 +0000
Subject: Replaced Patrick with desperate plea for help with Coq PG.

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

diff --git a/html/main.phtml b/html/main.phtml
index 88359882..ceed3134 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -47,7 +47,9 @@ including:
          First crafted by 
          <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. 
          <br>
-	 Currently maintained and developed by Patrick Loiseleur.
+	 <b>No current maintainer.   
+	      <a href="feedback.phtml">Please offer to help!!</a>.
+	 </b>
         </div>
     </td>
  </tr>
-- 
cgit v1.2.3