diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-13 17:49:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-13 17:49:28 +0000 |
| commit | e54b86825f2bf3308ff06973dfc5706aba55355e (patch) | |
| tree | dc32f011870290761d9c95cb00a541867ca147b1 /html | |
| parent | f8b601be38495a291a2f2503a66b76cb7cea515f (diff) | |
Remove length rant
Diffstat (limited to '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 |