diff options
| author | David Aspinall | 2001-08-01 19:23:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-01 19:23:30 +0000 |
| commit | 24238452bf5a4c57c9fa4f16e8e0a3a666b092ae (patch) | |
| tree | 587aee7738edd9937f12a3b6087c47bd29cc73a5 | |
| parent | 55e158fdd30b42d1e64991a4066da65fa45e6cd4 (diff) | |
Fix links to gallery
| -rw-r--r-- | html/about.html | 2 | ||||
| -rw-r--r-- | html/oldnews.html | 2 | ||||
| -rw-r--r-- | html/screenshot.html | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/html/about.html b/html/about.html index 1fb738cf..e57b88aa 100644 --- a/html/about.html +++ b/html/about.html @@ -28,7 +28,7 @@ and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>. <p> David Aspinall designed the web pages and graphics for Proof General. <br> -Check the <a href="gallery.html">gallery</a> for more publicity +Check the <a href="gallery">gallery</a> for more publicity pictures! </p> <p> diff --git a/html/oldnews.html b/html/oldnews.html index bc61e287..9d17d8c3 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -285,7 +285,7 @@ support implemented. <li><b>27th August 1999</b><br> <p> Print pictures from the new - <a href="gallery.html">gallery</a> + <a href="gallery">gallery</a> of publicity shots of Proof General! </p> <li><b>24th August 1999</b><br> diff --git a/html/screenshot.html b/html/screenshot.html index 662c19a4..0567b83b 100644 --- a/html/screenshot.html +++ b/html/screenshot.html @@ -103,6 +103,6 @@ graphical features are reduced! </table> <p> -For more pictures, see the Proof General <a href="gallery.html">gallery</a>. +For more pictures, see the Proof General <a href="gallery">gallery</a>. </p> |