aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-13 23:04:12 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-13 23:04:12 +0000
commit13473a6001b6013bec5611f86699324b814e4275 (patch)
treebf775531565a1133a8041b0cc903d36d17c53b35 /etc
parente7ff8535dab991ef3db12800947a4ea377b6c5b8 (diff)
Tidy up source, improve titles.
Diffstat (limited to 'etc')
-rw-r--r--etc/Mailman/listinfo.html44
1 files changed, 4 insertions, 40 deletions
diff --git a/etc/Mailman/listinfo.html b/etc/Mailman/listinfo.html
index 22337f47..97df4a83 100644
--- a/etc/Mailman/listinfo.html
+++ b/etc/Mailman/listinfo.html
@@ -1,5 +1,5 @@
-<!-- Based on Informatics Mailman template Revision: 1.21 -->
-<!-- Template for Proof General $Id$ -->
+<!-- Template for PG lists, based on Informatics/Mailman template Revision: 1.21 -->
+<!-- $Id$ -->
<html>
<head>
<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/pg/favicon.ico">
@@ -33,17 +33,6 @@
<MM-Subscribe-Form-Start>
<TABLE COLS="1" BORDER="0" CELLSPACING="4" CELLPADDING="5">
- <tr>
- <td colspan="2">
- <p>&nbsp;
- </td>
- </tr>
-<!-- <tr> -->
-<!-- <TD COLSPAN="2" WIDTH="100%" BGCOLOR="#FFF0D0"> -->
-<!-- <B><FONT COLOR="#000000">About <MM-List-Name></FONT></B> -->
-<!-- </TD> -->
-<!-- </TR> -->
-<!-- This should be the same as above, but via style sheets -->
<TR>
<TD class="head1" COLSPAN="2" WIDTH="100%">
<MM-List-Name> -- <MM-List-Description>
@@ -54,15 +43,6 @@
<p>&nbsp;
</td>
</tr>
-
-<!-- <TR> -->
-<!-- <TD COLSPAN="2" WIDTH="100%" BGCOLOR="#99CCFF" ALIGN="CENTER"> -->
-<!-- <B><FONT COLOR="#000000" SIZE="+1"><MM-List-Name> -->
-<!-- <MM-List-Description></FONT></B> -->
-<!-- </TD> -->
-<!-- </TR> -->
-
-<!-- Again this should be the same as above, but via style sheets -->
<tr>
<TD class="head2" COLSPAN="2" WIDTH="100%">
About <MM-List-Name>
@@ -84,11 +64,6 @@
</p>
</TD>
</TR>
-<!-- <TR> -->
-<!-- <TD COLSPAN="2" WIDTH="100%" BGCOLOR="#FFF0D0"-->
-<!-- <B><FONT COLOR="#000000">Using <MM-List-Name></FONT></B>-->
-<!-- </TD> -->
-<!-- </TR> -->
<tr>
<TD class="head2" COLSPAN="2" WIDTH="100%">
Using <MM-List-Name>
@@ -103,20 +78,15 @@
subscription, in the sections below.
</td>
</tr>
- <!--<TR> -->
- <!--<TD COLSPAN="2" WIDTH="100%"> -->
- <!--<B><FONT COLOR="#000000">Subscribing to <MM-List-Name></FONT></B> -->
- <!--</TD> -->
- <!--</TR> -->
<tr>
<TD class="head2" COLSPAN="2" WIDTH="100%">
- Subscribing to <MM-List-Name>
+ Subscribing to the <MM-List-Name> list
</TD>
</TR>
<tr>
<td colspan="2">
<P>
- Subscribe to <MM-List-Name> by filling out the following
+ Subscribe to the <MM-List-Name> list by filling out the following
form.
<MM-List-Subscription-Msg>
<ul>
@@ -160,12 +130,6 @@
</ul>
</td>
</tr>
- <!-- <TR> -->
- <!-- <TD COLSPAN="2" WIDTH="100%" BGCOLOR="#FFF0D0"> -->
- <!-- <a name="subscribers"> -->
- <!-- <B><FONT COLOR="#000000"><MM-List-Name> Subscribers</FONT></B></a> -->
- <!-- </TD> -->
- <!-- </TR> -->
<tr>
<a name="subscribers">
<TD class="head2" COLSPAN="2" WIDTH="100%">