aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1999-07-03 15:02:38 +0000
committerDavid Aspinall1999-07-03 15:02:38 +0000
commit05b2dc061de6c629c9ca19da70da7cef4b2890ed (patch)
treecd5debcebf3ef97c8c175708fc595354fe748eb2 /html
parent08be4d5e17e71f9803a18157fd3eca675e436b46 (diff)
Request to register a little more encouraging.
Diffstat (limited to 'html')
-rw-r--r--html/download.phtml6
1 files changed, 2 insertions, 4 deletions
diff --git a/html/download.phtml b/html/download.phtml
index 251c22e1..c15dc3c5 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -1,13 +1,11 @@
<h2>Please register</h2>
<p>
-Before downloading Proof General, we'd be grateful if you
+Before downloading Proof General, please
<a href="register.phtml">register</a>.
<br>
The information collected will be used only to help a case for
support for Proof General in the future.
-</p>
-
-<p>
+<br>
If you have already registered you do not need to do so again.
</p>