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/header.phtml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/header.phtml')

diff --git a/html/header.phtml b/html/header.phtml
index 1cf0f36a..4d62176a 100644
--- a/html/header.phtml
+++ b/html/header.phtml
@@ -1,10 +1,10 @@
 <table width="80%" align=top>
 <tr>
 <td width="300">
-<!-- <A HREF="http://www.dcs.ed.ac.uk/~proofgen/">-->
-<img src="images/ProofGeneral.jpg" alt="[ Proof General logo ]" align=top
-     width=260 height=302 >
-<!-- </A>-->
+<a href="index.phtml">
+<img src="images/ProofGeneral.jpg" alt="Proof General" align=top
+     width=260 height=302 border=0 >
+</a>
 </td>
 <td>
   <img src="images/pg-text.gif">
-- 
cgit v1.2.3