diff options
Diffstat (limited to 'html/download.html')
-rw-r--r-- | html/download.html | 5 |
1 files changed, 3 insertions, 2 deletions
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 |