diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 6 |
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> |