From 13473a6001b6013bec5611f86699324b814e4275 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 23:04:12 +0000
Subject: Tidy up source, improve titles.

---
 etc/Mailman/listinfo.html | 44 ++++----------------------------------------
 1 file 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%">
-- 
cgit v1.2.3


- -
-- @@ -54,15 +43,6 @@
About @@ -84,11 +64,6 @@
Using @@ -103,20 +78,15 @@ subscription, in the sections below.
- Subscribing to + Subscribing to the list
- Subscribe to by filling out the following + Subscribe to the list by filling out the following form. @@ -160,12 +130,6 @@
-- cgit v1.2.3