diff options
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"> |