diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/download.html b/html/download.html index 96e583d1..5d645436 100644 --- a/html/download.html +++ b/html/download.html @@ -14,10 +14,10 @@ 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>. If you +href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>. And if you can offer to help resource the development of Proof General in some way, please -<a href="feedback.html">contact us</a>. +<a href="feedback.html">contact us</a> (quickly!). </p> <p> |