diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/mailinglist | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/html/mailinglist b/html/mailinglist index 95614f1c..b7b81c4a 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -9,7 +9,7 @@ used for announcements of new versions, and occasional discussions amongst users. </p> -<h2>Subscriptions</h2> +<h3>Subscriptions</h3> <p> To <b>subscribe or unsubscribe</b>, visit the @@ -24,7 +24,7 @@ in the message body. </p> -<h2>Posting</h2> +<h3>Posting</h3> <p> The canonical mailing list address is <a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>. @@ -37,14 +37,12 @@ In an effort to prevent spam, posting is restricted to list members. Please <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">subscribe here</a> before attempting to post. </p> -<h2>Archives</h2> +<h3>Archives</h3> <p> Archives of the list (since July 2002) are kept <a href="http://lists.informatics.ed.ac.uk/pipermail/proofgeneral">here</a>. </p> -<hr> - <?php click_to_go_back(); footer(); |