From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/screenshot.phtml | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

(limited to 'html/screenshot.phtml')

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();
-?>
+
-- 
cgit v1.2.3