diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:55:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:55:33 +0000 |
commit | fca0bbc3f8058830e80d49b3743f6684cef16374 (patch) | |
tree | dbecee1e1fe8681bc428a3802807f291dbc30750 /html | |
parent | 3916eb179c2417509ae02534fafa01b0196522df (diff) |
Use prover-specific logos rather than generic ones...
Diffstat (limited to 'html')
-rw-r--r-- | html/main.phtml | 6 |
1 files changed, 4 insertions, 2 deletions
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 |