diff options
| author | David Aspinall | 2000-07-12 12:49:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-12 12:49:01 +0000 |
| commit | dbc0f6378eed4eed1405f4527e1610a0806344ef (patch) | |
| tree | 0c4adf462441d89e73c2b31332e62687b137274b /html/screenshot.phtml | |
| parent | b810678b73308e26141009dab70b2f3e53e3cb63 (diff) | |
Minor updates
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(); |
