From 35642157dc5b17bb06f803189ab9c7dff01c7425 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 13:50:48 +0000
Subject: Simple hit counter

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

(limited to 'html/main.phtml')

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"); ?>
-- 
cgit v1.2.3