From 8c8850eb2df838e34ff3ed9fab40d2d6a76489d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 16:05:51 +0000
Subject: Updates

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

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index 548edc72..21409081 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -48,7 +48,7 @@ including:
          <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. 
          <br>
 	  Maintained by 
-	    <a href="mailto:courtieu@lri.fr">Pierre Courtieu &lt;courtieu@lri.fr&gt;</a>.
+	    <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
         </div>
     </td>
  </tr>
@@ -103,6 +103,9 @@ made available in our developers release.
 </p>
 
 <p>
+To read more about what features Proof General
+provides, <a href="features.phtml">click here</a>.
+<br>
 To see what Proof General looks like in use, have a look at this
 <a href="screenshot.phtml">screenshot</a>.
 </p>
-- 
cgit v1.2.3