From fca0bbc3f8058830e80d49b3743f6684cef16374 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 16:55:33 +0000
Subject: Use prover-specific logos rather than generic ones...

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

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index 2472be19..a40969ac 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -39,7 +39,7 @@ including:
   <tr>
     <td align="center">
        <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html",
-		   "<img src=\"images/coq-badge.gif\" width=110 height=35 border=0 alt=\"Coq badge\">","The Coq Home Page") ?>
+		   "<img src=\"images/coqlogo4.gif\" width=66 height=61 border=0 alt=\"Coq badge\">","The Coq Home Page") ?>
       </td>
     <td>
      <b><?php fileshow("ProofGeneral/coq/README","Coq Proof General "); ?></b> for 
@@ -49,6 +49,8 @@ including:
 	<div style="font-size: smaller">
          First crafted by 
          <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. 
+	 <br>
+	 Later contributions by Patrick Loiseleur.
          <br>
 	  Maintained by 
 	    <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>.
@@ -80,7 +82,7 @@ including:
  <tr>
    <td align="center">
        <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
-      "<img src=\"images/isabelle-badge.gif\" width=128 height=37 border=0 alt=\"Isabelle badge\">",
+      "<img src=\"images/isabelle.gif\" width=74 height=64 border=0 alt=\"Isabelle badge\">",
       "The Isabelle Home Page"); ?>
    </td>
    <td><b><?php fileshow("ProofGeneral/isa/README","Isabelle Proof General "); ?></b> for
-- 
cgit v1.2.3