diff options
| -rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.html b/html/download.html index fe45d416..14d7e443 100644 --- a/html/download.html +++ b/html/download.html @@ -1,7 +1,7 @@ <h2>Please register</h2> <p> Before downloading Proof General, <i>please</i> -<a href="register.html">register</a>. +<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. </p> |