aboutsummaryrefslogtreecommitdiff
path: root/html/screenshot.phtml
diff options
context:
space:
mode:
authorDavid Aspinall2000-07-12 12:49:01 +0000
committerDavid Aspinall2000-07-12 12:49:01 +0000
commitdbc0f6378eed4eed1405f4527e1610a0806344ef (patch)
tree0c4adf462441d89e73c2b31332e62687b137274b /html/screenshot.phtml
parentb810678b73308e26141009dab70b2f3e53e3cb63 (diff)
Minor updates
Diffstat (limited to 'html/screenshot.phtml')
-rw-r--r--html/screenshot.phtml5
1 files changed, 4 insertions, 1 deletions
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();