diff options
Diffstat (limited to 'html/screenshot.phtml')
| -rw-r--r-- | html/screenshot.phtml | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/html/screenshot.phtml b/html/screenshot.phtml index c4dc4b92..b57c0d37 100644 --- a/html/screenshot.phtml +++ b/html/screenshot.phtml @@ -1,14 +1,11 @@ -<?php - require('functions.php3'); - small_header("Proof General Screenshots"); -?> <p> -Here are some screenshots of Proof General running with +Here are some screenshots of Proof General 3.0 running with different theorem provers. To see the full-size version of a picture, click on its thumbnail. </p> <p> -<i>(NB: Your browser needs PNG support to view these pictures)</i> +<i>NB: Your browser needs PNG support to view these pictures. +</i> </p> <!-- todo: php3 this, add space between rows! --> @@ -108,7 +105,4 @@ graphical features are reduced! <p> For more pictures, see the Proof General <a href="gallery.phtml">gallery</a>. </p> -<?php - click_to_go_back(); - footer(); -?> + |