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

---
 CHANGES                | 2 +-
 html/download.phtml    | 9 +++------
 html/mailinglist.phtml | 4 ++--
 3 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/CHANGES b/CHANGES
index f7ab5b75..18e2f227 100644
--- a/CHANGES
+++ b/CHANGES
@@ -16,7 +16,7 @@ Generic Changes
 
 * Demonstration instance of Proof General for Isabelle shows
   how you can get the interface going with a minimum of fuss.
-  It has just 30 simple settings.
+  It has less than 30 simple settings.
 
 * Proof General is now more cany about the queue of commands.
   You can now add more proof commands on the end of the queue,
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