diff options
| author | David Aspinall | 2009-09-07 20:31:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 20:31:39 +0000 |
| commit | 5492bc751b140106e59c60e7499f1a43fd5ca045 (patch) | |
| tree | 5ec9263456833f116fcc3d4dfa9984616eee5c52 /etc/Mailman/listinfo.html | |
| parent | 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff) | |
Deleted file
Diffstat (limited to 'etc/Mailman/listinfo.html')
| -rw-r--r-- | etc/Mailman/listinfo.html | 142 |
1 files changed, 0 insertions, 142 deletions
diff --git a/etc/Mailman/listinfo.html b/etc/Mailman/listinfo.html deleted file mode 100644 index 419f3451..00000000 --- a/etc/Mailman/listinfo.html +++ /dev/null @@ -1,142 +0,0 @@ -<!-- Template for PG lists, based on Informatics/Mailman template Revision: 1.21 --> -<!-- $Id$ --> -<html> -<head> - <link rel="SHORTCUT ICON" href="http://proofgeneral.inf.ed.ac.uk/favicon.ico"> - <title><MM-List-Name> Mailing List Info Page</title> - <meta name="author" content="David Aspinall <David.Aspinall@ed.ac.uk>"> - <meta name="keywords" content="Isabelle, LEGO, Coq, Emacs, XEmacs, - Interface, Theorem Prover, GUI, David Aspinall"> - <meta name="description" content="Proof General is an Emacs based - generic interface for theorem provers"> - <link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css"> -</head> -<body - bgcolor="#2D1D03" - background="http://proofgeneral.inf.ed.ac.uk/images/canvaswallpaper.jpg" - text="#FFFFFF" - link="#FFD820" - vlink="#FFD820" - alink="#FFF030" - > -<table width="80%"> -<tr> -<td width="15%"> -<a href=""> -<img src="http://proofgeneral.inf.ed.ac.uk/images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home"> -</a> -</td> -<td width="85%"> -<h1><MM-List-Name> List Info Page</h1> -</td> -</table> - <MM-Subscribe-Form-Start> - <TABLE COLS="1" BORDER="0" CELLSPACING="4" CELLPADDING="5"> - <TR> - <TD class="head1" COLSPAN="2" WIDTH="100%"> - <MM-List-Name> -- <MM-List-Description> - </TD> - </TR> - <tr> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - About the <MM-List-Name> list - </TD> - </TR> - <tr> - <td colspan="2"> - <P><MM-List-Info></P> - <p> To see the collection of prior postings to the list, - visit the <MM-Archive><MM-List-Name> - Archives</MM-Archive>. - <MM-Restricted-List-Message> - </p> - </TD> - </TR> - <tr> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - Using the <MM-List-Name> list - </TD> - </TR> - <tr> - <td colspan="2"> - To post a message to all the list members, send email to - <A HREF="mailto:<MM-Posting-Addr>"><MM-Posting-Addr></A>. - - <p>You can subscribe to the list, or change your existing - subscription, in the sections below. - </td> - </tr> - <tr> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - Subscribing to the <MM-List-Name> list - </TD> - </TR> - <tr> - <td colspan="2"> - <P> - Subscribe to the <MM-List-Name> list by filling out the following - form. - <MM-List-Subscription-Msg> - <ul> - <TABLE BORDER="0" CELLSPACING="2" CELLPADDING="2" - WIDTH="90%" HEIGHT= "112"> - <TR> - <TD class="head3" WIDTH="55%">Your email address:</TD> - <TD WIDTH="33%"><MM-Subscribe-Box> - </TD> - <TD WIDTH="12%"> </TD></TR> - <TR> - <TD COLSPAN="3"><FONT SIZE=-1>You must enter a - privacy password. This provides only mild security, - but should prevent others from messing with your - subscription. <b>Do not use a valuable password</b> as - it will occasionally be emailed back to you in cleartext. - <MM-Reminder> - </TD> - </TR> - <TR> - <TD class="head3">Pick a password:</TD> - <TD><MM-New-Password-Box></TD> - <TD> </TD></TR> - <TR> - <TD class="head3">Reenter password to confirm:</TD> - <TD><MM-Confirm-Password></TD> - <TD> </TD></TR> - <tr> - <td>Would you like to receive list mail batched in a daily - digest? - </td> - <td><MM-Undigest-Radio-Button> No - <MM-Digest-Radio-Button> Yes - </TD> - </tr> - <tr> - <td colspan="3"> - <center><MM-Subscribe-Button></P></center> - </TABLE> - <MM-Form-End> - </ul> - </td> - </tr> - <tr> - <a name="subscribers"> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - <MM-List-Name> subscribers - </TD> - </TR> - <tr> - <TD COLSPAN="2" WIDTH="100%"> - <MM-Roster-Form-Start> - <MM-Roster-Option> - <MM-Form-End> - <p> - <MM-Subscribe-Form-Start> - <MM-Editing-Options> - <MM-Form-End> - </td> - </tr> - </table> -<MM-Mailman-Footer> -</BODY> -</HTML> - |