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/header.phtml | |
| parent | af6dbb36ead642ca9ea346fbb6ac18d980280704 (diff) | |
Simple hit counter
Diffstat (limited to 'html/header.phtml')
| -rw-r--r-- | html/header.phtml | 8 |
1 files changed, 4 insertions, 4 deletions
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"> |