From e54b86825f2bf3308ff06973dfc5706aba55355e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 17:49:28 +0000
Subject: Remove length rant

---
 html/download.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index a0a75d4e..f3292cea 100644
--- a/html/download.html
+++ b/html/download.html
@@ -4,6 +4,7 @@ Before downloading Proof General, <i>please</i>
 <a href="register">register</a>.
 It's free, it only takes a moment.
 If you have already registered you do not need to do so again.
+<!-- Let's remove this rant for now.  
 The statistics collected from registrations are used to help
 make a case for support for Proof General, and nothing else.  
 It is likely that development of Proof General will <i>finish soon</i> 
@@ -17,7 +18,7 @@ directly or even a paper letter to the <a
 href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>.  And if you
 can offer to help resource the development of Proof General
 in some way, please
-<a href="feedback">contact us</a> (quickly!).
+<a href="feedback">contact us</a>. -->
 </p>
 
 <p>
@@ -91,7 +92,7 @@ instead.
 </p>
 <p>
 Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
-for >a summary of changes since version 3.2.
+for a summary of changes since version 3.2.
 </p>
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
-- 
cgit v1.2.3