diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 14:39:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-09 14:39:38 +0000 |
commit | d58dfdf7a6ef52207e2e31ea4ac0b058c374a6af (patch) | |
tree | b22e92a21405b05d7f304fecd5fa1bcde3c783d6 /html | |
parent | dbbf0101f74f7df74c914cb4a290baef1f616394 (diff) |
Trim page a bit
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> |