diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/header.html | 2 | ||||
| -rw-r--r-- | html/smallheader.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/html/header.html b/html/header.html index cb5b3aba..cbd9456d 100644 --- a/html/header.html +++ b/html/header.html @@ -2,7 +2,7 @@ <table width="550"> <tr> <td width="190"> -<a href="index.html"> +<a href=""> <img src="images/ProofGeneral.jpg" alt="Proof General" align=top width=180 height=238 border=0 > </a> diff --git a/html/smallheader.html b/html/smallheader.html index 62c2412c..55cb7a4c 100644 --- a/html/smallheader.html +++ b/html/smallheader.html @@ -1,7 +1,7 @@ <table width="80%"> <tr> <td width="30%"> -<a href="index.html"> +<a href=""> <img src="images/PG-small.jpg" align=top width=75 height=99 border=0 alt="Proof General Home"> </a> </td> |