Simplify system infos.

1 files changed, 25 insertions, 37 deletions

diff --git a/html/main.html b/html/main.html
index 199b673c..2c75231b 100644
--- a/html/main.html
+++ b/html/main.html
@@ -42,13 +42,8 @@ Proof General comes ready-customized for these proof assistants:
 		   "Coq","The Coq Home Page") ?>
        <br>
 	<div style="font-size: smaller">
-         First crafted by 
-         <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. 
-	 <br>
-	 Contributions by Patrick Loiseleur.
-         <br>
-          Maintained by 
-	  <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
+         By Healfdene Goguen, Patrick Loiseleur, David Aspinall, and
+	 <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
         </div>
     </td>
  </tr>
@@ -63,53 +58,46 @@ Proof General comes ready-customized for these proof assistants:
 		    "Isabelle", "The Isabelle Home Page"); ?>
       <br>
        <div style="font-size: smaller">
-       Crafted and maintained by 
-      <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
-      <br>
-      Additional maintainance, support for
-      <a href="http://isabelle.in.tum.de/Isar">Isabelle/Isar</a>
-      by
-      <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
+       By 
+      <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>
+       and
+       Markus Wenzel.
        </div>
    </td>
  </tr>
  <tr>
     <td align="center">
-       <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
-       "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">",
-       "The LEGO Home Page") ?>
+       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
+       "<img src=\"images/phox-einstein.jpg\" width=80 height=48 border=0 alt=\"PhoX logo\">",
+       "The PhoX Home Page") ?>
    </td>
-    <td><b><?php fileshow("ProofGeneral/lego/README","LEGO Proof General "); ?></b> for
-       <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
-		   "LEGO","The LEGO Home Page") ?>
+    <td><b><?php fileshow("ProofGeneral/phox/README","PhoX Proof General "); ?></b> for
+       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
+		   "PhoX","The PhoX Home Page") ?>
        <br>
        <div style="font-size: smaller">
-       First crafted by <a href="http://www.dcs.ed.ac.uk/~tms">Thomas Kleymann</a>
-       and
-        <a href="http://www.dcs.ed.ac.uk/~djs/welcome.html">Dilip Sequeira</a>.
-       <br>
-       Maintained by 
-       <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>
+       By 
+       <a href="http://www.lama.univ-savoie.fr/~RAFFALLI">Christophe Raffalli</a>
        and
-       <a href="http://www.dur.ac.uk/p.c.callaghan/">Paul Callaghan</a>.
+       <a href="mailto:roziere@logique.jussieu.fr">Paul Roziere</a>.
        </div>
     </td>
  </tr>
  <tr>
     <td align="center">
-       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
-       "PhoX",
-       "The PhoX Home Page") ?>
+       <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
+       "<img src=\"images/lego-badge.gif\" width=123 height=33 border=0 alt=\"LEGO badge\">",
+       "The LEGO Home Page") ?>
    </td>
-    <td><b><?php fileshow("ProofGeneral/phox/README","PhoX Proof General "); ?></b> for
-       <?php hlink("http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html",
-		   "PhoX","The PhoX Home Page") ?>
+    <td><b><?php fileshow("ProofGeneral/lego/README","LEGO Proof General "); ?></b> for
+       <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
+		   "LEGO","The LEGO Home Page") ?>
        <br>
        <div style="font-size: smaller">
-       Crafted and maintained by 
-       <a href="http://www.lama.univ-savoie.fr/~RAFFALLI">Christophe Raffalli</a>
-	and
-       <a href="mailto:roziere@logique.jussieu.fr">Paul Roziere</a>.
+       By Thomas Kleymann, Dilip Sequeira, 
+       <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>
+       and
+       <a href="http://www.dur.ac.uk/p.c.callaghan/">Paul Callaghan</a>.
        </div>
     </td>
  </tr>