diff options
Diffstat (limited to 'html')
| -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> |