diff options
| author | David Aspinall | 1999-06-30 13:50:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-30 13:50:48 +0000 |
| commit | 35642157dc5b17bb06f803189ab9c7dff01c7425 (patch) | |
| tree | 77090a2927e11d2db14c87ab82b4dc255a3ecbe9 /html/main.phtml | |
| parent | af6dbb36ead642ca9ea346fbb6ac18d980280704 (diff) | |
Simple hit counter
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/html/main.phtml b/html/main.phtml index 9ff9d505..b08b0d2d 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -28,7 +28,9 @@ Proof General is ready-customized for several proof assistants: <table width=90%> <tr> <td align="centre"> - <img src="images/coq-badge.gif" width="110" height="35" alt="Coq badge"></td> + <?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") ?> + </td> <td> <b> Coq Proof General </b> for <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html", @@ -45,7 +47,10 @@ Proof General is ready-customized for several proof assistants: </tr> <tr> <td align="centre"> - <img src="images/lego-badge.gif" width="123" height="33" alt="LEGO badge"></td> + <?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>LEGO Proof General</b> <?php hlink("http://www.dcs.ed.ac.uk/home/lego", "LEGO","The LEGO Home Page") ?> @@ -63,8 +68,10 @@ Proof General is ready-customized for several proof assistants: </tr> <tr> <td align="centre"> - <img src="images/isabelle-badge.gif" width="128" height="37" - alt="Isabelle badge"></td> + <?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\">", + "The Isabelle Home Page"); ?> + </td> <td><b> Isabelle Proof General </b> for <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/", "Isabelle", "The Isabelle Home Page"); ?> |