From 6a39d32e5c53042f24aca9c5027229e65ea95367 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 9 Sep 2001 14:10:24 +0000 Subject: Mention paper letter registrations. --- html/download.html | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) (limited to 'html') 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.

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 finish soon 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 send an email -directly. +case for support for Proof General, and nothing else. +It is likely that development of Proof General will finish soon 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 send an email directly +or even a paper letter to the +LFCS.

-- cgit v1.2.3