From dbc0f6378eed4eed1405f4527e1610a0806344ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Jul 2000 12:49:01 +0000
Subject: Minor updates

---
 html/about.phtml      |  5 +----
 html/feedback.phtml   |  3 ++-
 html/gallery.phtml    | 16 ++++++++++------
 html/proofgen.css     |  2 +-
 html/screenshot.phtml |  5 ++++-
 5 files changed, 18 insertions(+), 13 deletions(-)

(limited to 'html')

diff --git a/html/about.phtml b/html/about.phtml
index 18ad95f1..fe139990 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -8,10 +8,7 @@ mode was an Emacs-based front end for LEGO similar to David Aspinall's
 developed at the LFCS since 1992.  After 1994, implementations of
 proof-by-pointing and script management were added to LEGO mode, and
 the code was made generic.  The generic basis was developed by
-Kleymann, Sequeira, Goguen and Aspinall (in order of appearance).
-Yves Bertot provided assistance with proof-by-pointing, and Proof
-General follows some of the ideas used in <a
-href="http://www.inria.fr/croap/">Project CROAP</a>.
+Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall.
 The current authors and maintainers of the various instantiations of
 Proof General are mentioned on the <?php link_root("main","front
 page.") ?>
diff --git a/html/feedback.phtml b/html/feedback.phtml
index 30e3bded..6413f83b 100644
--- a/html/feedback.phtml
+++ b/html/feedback.phtml
@@ -16,7 +16,8 @@
 ?>
 
 <p>
-Please use the form below to send us comments and suggestions.
+Please use the form below to send us comments, suggestions,
+or offers to help with Proof Generl development.
 <br>
 Or send email directly to
 the 
diff --git a/html/gallery.phtml b/html/gallery.phtml
index 0b18090a..45bbb11e 100644
--- a/html/gallery.phtml
+++ b/html/gallery.phtml
@@ -16,16 +16,20 @@ based on a commercial mesh by
 Click on a thumbnail to see a full-size images.  All full-size images
 are 720x990 pixel JPGs (a nice size to print at 180dpi on A5 paper).
 Please download and print for your own use!  
-</p>
-Please <a href="feedback.phtml">contact us</a> with comments or
-suggestions, or if you would like a copy of one of the images
-in another size or format.
-</p>
 <p>
 Copyright for the images is held by 
 <a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
 Please do not publish the images or incorporate them into other
-work without his permission.
+work without his permission.  If you have comments or suggestions,
+or if you would like a copy of one of the images
+in another size or format, 
+please <a href="feedback.phtml">contact us</a>.
+</p>
+
+</p>
+<p>
+For pictures of what Proof General looks like in use,
+see the <a href="screenshot.phtml">screenshots</a> page.
 </p>
 </blockquote>
 
diff --git a/html/proofgen.css b/html/proofgen.css
index a3317feb..e9fe12e5 100644
--- a/html/proofgen.css
+++ b/html/proofgen.css
@@ -7,7 +7,7 @@ body{
  font-family: Verdana, Arial, sans-serif;	/* font for the doc body */
  background: #2D1D03;					/* background brown */
  background-image: 
-	url(http://zermelo.dcs.ed.ac.uk/~proofgen/images/canvaswallpaper.jpg);
+	url(images/canvaswallpaper.jpg);
  background-attachment: fixed;				/* background shouldn't scroll */
  color: #FFFFFF						/* text colour is white */
 }
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();
-- 
cgit v1.2.3