From fc20ccaca661b4d6f7d6f5ee0f72f4b06d71b509 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Mar 2000 06:10:59 +0000
Subject: Tweaks.  Me as LEGO maintainer as well as Paul.

---
 html/main.phtml | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index ede468e5..c944662c 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -67,8 +67,10 @@ including:
        and
         <a href="http://www.dcs.ed.ac.uk/~djs/welcome.html">Dilip Sequeira</a>.
        <br>
-       Maintained by <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul
-       Callaghan</a>.
+       Maintained by 
+       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>
+       and
+       <a href="http://www.dur.ac.uk/~dcs1pcc/">Paul Callaghan</a>.
        </div>
     </td>
  </tr>
@@ -86,9 +88,9 @@ including:
        Crafted and maintained by 
       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
       <br>
-      Additional maintainance and support for
+      Additional maintainance, support for
       <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>
-      is provided by
+      by
       <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
    </td>
@@ -96,11 +98,12 @@ including:
 </table>
 <p>
 Proof General is ready to be customized to new proof assistants.
+<br>
 It can be <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el",
 "very easy"); ?> to get basic support working.
 <br>
-Full documentation on configuration is provided,
-and experimental support for new proof assistants is
+Full documentation on configuration is provided.
+Experimental support for new proof assistants is
 made available in our developers release.
 </p>
 
-- 
cgit v1.2.3