diff options
| author | David Aspinall | 1999-11-17 21:32:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 21:32:54 +0000 |
| commit | dbe1abdd4e827aa61e3b5ee4eeda9b5e1cc9ae3c (patch) | |
| tree | efe8bf84a98a9de6ff79eccf2b4a804a317642e8 /html | |
| parent | e9810344a33d604d78fb487ef3e09a04a85a1bfd (diff) | |
Tweaks
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 9 | ||||
| -rw-r--r-- | html/mailinglist.phtml | 4 |
2 files changed, 5 insertions, 8 deletions
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> |