From dbc0f6378eed4eed1405f4527e1610a0806344ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jul 2000 12:49:01 +0000
Subject: Minor updates

---
 html/screenshot.phtml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'html/screenshot.phtml')

diff --git a/html/screenshot.phtml b/html/screenshot.phtml
index f64f7faa..c4dc4b92 100644
--- a/html/screenshot.phtml
+++ b/html/screenshot.phtml
@@ -11,7 +11,7 @@ of a picture, click on its thumbnail.
 <i>(NB: Your browser needs PNG support to view these pictures)</i>
 </p>
 
-<!-- todo: php3 this -->
+<!-- todo: php3 this, add space between rows! -->
 <table width="80%">
 <tr>
 <td width="200">
@@ -105,6 +105,9 @@ graphical features are reduced!
 </tr>
 </table>
 
+<p>
+For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>.
+</p>
 <?php  
    click_to_go_back();
    footer();
-- 
cgit v1.2.3