Moved notice about license to download.phtml. Made plea for registration even more pitiful.

2 files changed, 24 insertions, 13 deletions

diff --git a/html/download.phtml b/html/download.phtml
index e0c6fcbd..8f2206de 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -2,18 +2,25 @@
 <p>
 Before downloading Proof General, <i>please</i>
 <a href="register.phtml">register</a>.
-It only takes a moment.
+It's free, it only takes a moment.
 <br>
-The information collected will be used to help a case for
-support for Proof General, and nothing else.
-It is likely that development of Proof General will 
-<i>finish very soon</i> unless we can find new
-resources.
 If you have already registered you do not need to do so again.
 </p>
+<p>
+The statistics collected from registrations will be used to help a
+case for support for Proof General, and nothing else.  It is likely
+that development of Proof General will <i>finish very soon</i> unless
+we can find new resources.  As a courtesy, we do not make registration
+compulsory and I can tell from the server logs that the majority of  
+people downloading do not register.  But if you don't register
+now, please consider returning to register later if you find Proof
+General interesting or useful.  If you don't want to fill the form,
+please <a href="mailto:proofgen@dcs.ed.ac.uk">send an email</a>
+directly.
+</p>
 
 <p>
-You may like to consider joining the 
+You may like to join the
 Proof General
 <a href="mailinglist.phtml">mailing list</a>.
 </p>
@@ -22,10 +29,17 @@ Proof General
 Developers and beta-testers may like to download
 a <a href="devel.phtml">development release</a>
 of Proof General.
+</p>
+<p>
 If you use an old version of a proof assistant,
 you may need to download one of the 
 <a href="oldrel.phtml">previous releases</a>.
 </p>
+<p>
+Please check the 
+<?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
+for using Proof General.
+<p>
 <hr>
 
 <h2><a name="prereq">
@@ -147,11 +161,11 @@ If you use the RPM package, <var>directory</var> is
 Further customization is possible via the Customize menus in
 Emacs.  
 <br>
-See the <?php fileshow("ProofGeneral/INSTALL","INSTALL")?> 
+See the <?php fileshow("ProofGeneral-3.0/INSTALL","INSTALL")?> 
 file in the distribution for more details.
 </p>
 <p>
-Please <a href="mailto:proofgen@dcs.ed.ac.uk">send us</a>
+Please <a href="feedback.phtml">send us</a>
 any problems, suggestions, or patches. 
 </p>
 
diff --git a/html/register.phtml b/html/register.phtml
index 5772d9b6..be72cea4 100644
--- a/html/register.phtml
+++ b/html/register.phtml
@@ -62,10 +62,7 @@ again, so return to <?php link_root("download","the download page.") ?>
 <input type=submit value="Send form"> 
 </form>
 <p>
-Please check the 
-<?php fileshow("ProofGeneral/COPYING","license conditions "); ?>
-for using Proof General.
-<p>
+</p>
 <?php  
    click_to_go_back(); 
    footer();