From 34e7bc2c33fceeb67a2101d9953b2237306da47f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 1999 14:29:27 +0000
Subject: Added gallery

---
 html/download.phtml | 35 ++++++++++++++++++++++++-----------
 1 file changed, 24 insertions(+), 11 deletions(-)

(limited to 'html/download.phtml')

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>
 
-- 
cgit v1.2.3