From dbe1abdd4e827aa61e3b5ee4eeda9b5e1cc9ae3c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 21:32:54 +0000
Subject: Tweaks

---
 html/download.phtml    | 9 +++------
 html/mailinglist.phtml | 4 ++--
 2 files changed, 5 insertions(+), 8 deletions(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 81354503..c446cce6 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -22,12 +22,9 @@ Proof General
 Developers and beta-testers may like to download
 a <a href="devel.phtml">development release</a>
 of Proof General.
-</p>
-
-<p>
-If you are using an older version of a proof assistant,
-you may wish to check the 
-<a href="oldrel.phtml">previous releases</a> of Proof General.
+If you use an old version of a proof assistant,
+you may need to download one of the 
+<a href="oldrel.phtml">previous releases</a>.
 </p>
 <hr>
 
diff --git a/html/mailinglist.phtml b/html/mailinglist.phtml
index 05ca3f21..a01089ec 100644
--- a/html/mailinglist.phtml
+++ b/html/mailinglist.phtml
@@ -34,8 +34,8 @@ with the words "<tt>subscribe proofgeneral</tt>"
 </p>
 
 <p>
-Since its beginning, the mailing list has been a low-volume list (only
-a few messages per month).  If the volume increases significantly due
+Since its beginning, the mailing list has been a low-volume list (one
+message every few months).  If the volume increases significantly due
 to user interaction, we will introduce a separate mailing list for
 announcements.  No junk mail will be forwarded to list members.
 </p>
-- 
cgit v1.2.3