From d58dfdf7a6ef52207e2e31ea4ac0b058c374a6af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 14:39:38 +0000
Subject: Trim page a bit

---
 html/download.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

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>
-- 
cgit v1.2.3