diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 14:10:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 14:10:24 +0000 |
| commit | 6a39d32e5c53042f24aca9c5027229e65ea95367 (patch) | |
| tree | 48c791b07e78f1c3f2a33ccb5828a6c62f7bfb03 /html | |
| parent | e908c637efcc099944fc42fc6f539aeb31bf9306 (diff) | |
Mention paper letter registrations.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/html/download.html b/html/download.html index f9fbe3c6..dacbae41 100644 --- a/html/download.html +++ b/html/download.html @@ -7,15 +7,17 @@ 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 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. +case for support for Proof General, and nothing else. +It is likely that development of Proof General will <i>finish 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 +or even a paper letter to the +<a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>. </p> <p> |