diff options
Diffstat (limited to 'html/screenshot.phtml')
| -rw-r--r-- | html/screenshot.phtml | 5 |
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(); |