aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:55:33 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:55:33 +0000
commitfca0bbc3f8058830e80d49b3743f6684cef16374 (patch)
treedbecee1e1fe8681bc428a3802807f291dbc30750 /html
parent3916eb179c2417509ae02534fafa01b0196522df (diff)
Use prover-specific logos rather than generic ones...
Diffstat (limited to 'html')
-rw-r--r--html/main.phtml6
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