Added gallery

4 files changed, 116 insertions, 12 deletions

diff --git a/html/about.phtml b/html/about.phtml
index 857a7ad1..cb9fdf29 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -30,8 +30,14 @@ href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>.
 </p>
 
 <p>
+David Aspinall designed the web pages and graphics for Proof General.
+<br>
+Check the <a href="gallery.phtml">gallery</a> for more publicity
+pictures!
+</p>
+<p>
 For more on the history of the development of
-Proof General, see the 
+the Proof General program, see the 
 <?php htmlshow("ProofGeneral/doc/ProofGeneral_1.html#SEC3","manual preface.","","html") ?>
 </p>
 
diff --git a/html/download.phtml b/html/download.phtml
index a24d7a44..008f2187 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -140,15 +140,25 @@ in a pre-release.
 <h2><a name="devel">For Developers</a></h2>
 <p>
 If you are interested in helping to develop the core of Proof General,
-we provide a complete archive of all the sources used to build the
+we provide a complete archive of <i>all</i> the sources used to build the
 current Proof General pre-release.  The difference from the working
-version distribution above is that we include our low-level list of
-things to do, some developer's make files used to generate
-documentation files and the release itself from our CVS repository,
-some test files, sources for some of the images (in <a
-href="http://www.gimp.org">GIMP</a> form), and the web pages.  And
-there are no pre-built documentation files, because developers should
-have the right tools!
+version distribution above is that we include:
+</p>
+<ul>
+  <li> provisional instantiations of Proof General to new provers <br>
+	(mentioned in the 
+	<?php fileshow("ProofGeneral-2.2pre990823/CHANGES","CHANGES"); ?> file),
+  </li>
+  <li> the low-level list of things to do, </li>
+  <li> developer's Makefile used to generate documentation files <br>
+       and the release itself from our CVS repository,  </li>
+  <li> some test files, </li>
+  <li> sources for some of the images, 
+  <li> the web pages.  
+</ul>
+<p>
+Note: there are no pre-built documentation files in the developer's
+release, because developers should have the right tools!
 </p>
 <ul>
   <li> gzip'ed tar file: 
@@ -160,10 +170,11 @@ have the right tools!
 
 <p>
 You probably <em>don't</em> need to download this if you're only
-interested in hacking the Emacs lisp part of the program (but you may
+interested in hacking the Emacs lisp part of the program for
+a prover that is currently supported.  But you may
 still like to check the latest
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<?php fileshow("ProofGeneral-2.2pre990823/todo","low-level to-do list"); ?>).
+<?php fileshow("ProofGeneral-2.2pre990823/todo","low-level to-do list"); ?>.
 <!-- End Warning. -->
 </p>
 
@@ -190,7 +201,9 @@ we can make our CVS repository accessible to you.  Please
 <hr>
 <h2><a name="previous">Previous Releases</a></h2>
 
-Please note that we do not support these previous releases in any way.
+<p>
+Please note that we do not support these old releases in any way.
+</p>
 
 <h4>Proof General Version 2.0, released 16th December 1998</h4>
 
diff --git a/html/gallery.phtml b/html/gallery.phtml
new file mode 100644
index 00000000..b70a22d4
--- /dev/null
+++ b/html/gallery.phtml
@@ -0,0 +1,79 @@
+<?php  
+  require('functions.php3');
+  small_header("Proof General Gallery"); 
+  ?>
+
+<blockquote>
+<p>
+Here are some publicity pictures for Proof General.  They were created
+by David Aspinall in his spare time, using the excellent freeware
+programs <a href="http://www.gimp.org">GIMP</a> and <a
+href="http://www.blender.nl">Blender</a>.  The General himself is
+based on a commercial mesh by <a
+href="http://www.viewpoint.com">Viewpoint</a>.
+</p>
+<p>
+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 LFCS, University of Edinburgh.
+Please do not publish the images or incorporate them into other
+work without our permission.
+</p>
+</blockquote>
+
+<!-- todo: php3 this -->
+<table width="80%">
+<tr>
+<td width="200">
+<a href="images/portrait.jpg">
+<img src="images/portrait-thumb.jpg" alt="Portrait" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+Proof General portrait <br>
+This is the Proof General logo, 
+with the home page URL at the bottom. <br>
+A nice poster for your wall or door. <br>
+</p>
+</tr>
+<tr>
+<td>
+<a href="images/whip.jpg">
+<img src="images/whip-thumb.jpg" alt="New recruit" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+New Recruits Wanted  <br>
+This is a request for help with the Proof General
+project. <br>
+Please <a href="feedback.phtml">sign up here</a>!
+</p>
+</tr>
+<tr>
+<td>
+<a href="images/whole-man.jpg">
+<img src="images/whole-man-thumb.jpg" alt="Whole man" width=150 height=206 border=0>
+</a>
+</td>
+<td>
+<p>
+Scary boots!  <br>
+This is a full-length shot of Proof General,
+again with the home page at the bottom.
+</p>
+</tr>
+</table>
+
+<?php
+   click_to_go_back();
+   footer();
+?>
diff --git a/html/news.phtml b/html/news.phtml
index 10ae5050..52efe061 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -1,4 +1,10 @@
 <ul>
+<li><b>27th August 1999</b><br>
+ <p>
+ Print pictures from the new 
+ <a href="gallery.phtml">Proof General Gallery</a> 
+ of publicity shots of Proof General!
+ </p>
 <li><b>24th August 1999</b><br>
  <p>
  Proof General version 2.1 is released.