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/options.html | |
| parent | 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff) | |
Deleted file
Diffstat (limited to 'etc/Mailman/options.html')
| -rw-r--r-- | etc/Mailman/options.html | 186 |
1 files changed, 0 insertions, 186 deletions
diff --git a/etc/Mailman/options.html b/etc/Mailman/options.html deleted file mode 100644 index 48daa164..00000000 --- a/etc/Mailman/options.html +++ /dev/null @@ -1,186 +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 Options 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> Mailing List Options Page</h1> -</td> -</table> - -<MM-Form-Start> - -<p> - -<b><MM-Presentable-User></b>'s subscription status, -password, and options for the <MM-List-Name> mailing list. -<MM-Case-Preserved-User> - -<MM-Disabled-Notice> - -<p> - -<!-- Added style sheet --> -<a name=unsub> - <TABLE WIDTH="100%" BORDER="0" CELLSPACING=5" CELLPADDING="5"> - <TR> - <TD class="head2" WIDTH="50%"> - Unsubscribing from <MM-List-Name> - </TD> - <TD class="head2" WIDTH="50%"> - Your other <MM-Host> subscriptions - </TD> - </TR> - -<tr> -<td> -To unsubscribe, enter your password and hit the button. (If you've -lost your password, see just below to have it emailed to you.) - -<p> -Password: <MM-Unsub-Pw-Box> -<MM-Unsubscribe-Button> -</p> -</a> -</td> - -<td> -Enter your password to visit a list of links to option pages for -all your subscriptions. - -<p> -Password: <MM-Other-Subscriptions-Pw-Box> -<MM-Other-Subscriptions-Submit><p> -</p> -</td></tr> -</table> - -<TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="5"> -<!-- Added style sheet --> - <TR> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - Your <MM-List-Name> Password - </TD> - </TR> -<tr valign="TOP"> -<td WIDTH="50%"> -<a name=reminder> -<center> -<h3>Forgotten Your Password?</h3> -</center> -Click this button to have your password emailed to your list delivery -address. <p> -<MM-Umbrella-Notice> -<center> -<MM-Email-My-Pw> -</center> -</td> -<td WIDTH="50%"> -<a name=changepw> -<center> -<h3>Change Your Password</h3> - <TABLE BORDER="0" CELLSPACING="2" CELLPADDING="2" WIDTH="90%" COLS=2> - <TR> - <TD class="head3" WIDTH="30%" >Old password:</TD> - <TD WIDTH="70%"><MM-Old-Pw-Box></TD> - </TR> - <TR> - <TD class="head3">New password:</TD> - <TD><MM-New-Pass-Box></TD> - </TR> - <TR> - <TD class="head3">Again to confirm:</TD> - <TD><MM-Confirm-Pass-Box></TD> - </TR> -</table> - <MM-Change-Pass-Button> - </TABLE> - -<p> - -<a name=options> - <TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="5"> -<!-- Added style sheet --> - <TR> - <TD class="head2" COLSPAN="2" WIDTH="100%"> - Your <MM-List-Name> Subscription Options - </TD> - </TR> -</table> - -<p> -<i><strong>Current values are checked.</strong></i><p> -<p> -<TABLE BORDER="0" CELLSPACING="2" CELLPADDING="3" WIDTH="80%"> -<tr><TD class="head3"> -<a name="disable"> -<strong> Disable mail delivery </strong> <br> -Turn this on if you want mail to not be delivered to you for a little while.<br> -<mm-delivery-enable-button> Off -<mm-delivery-disable-button> On <p> -</a> -</td></tr> -<tr><TD class="head3"> -<strong> Set Digest Mode</strong> <br> -If you turn digest mode on, you'll get posts bundled together once a -day, instead singly when they're sent. If digest mode is changed from -on to off, you will receive one last digest.<br> -<MM-Undigest-Radio-Button> Off -<MM-Digest-Radio-Button> On<br> -</td></tr> -<tr><TD class="head3"> -<strong> Get MIME or Plain Text Digests?</strong> <br> -If you have any problems with MIME digests, select plain text. <br> -<MM-Mime-Digests-Button> MIME -<MM-Plain-Digests-Button> Plain Text <p> -</td></tr> -<tr><TD class="head3"> -<strong> Receive posts you send to the list? </strong><br> -<mm-receive-own-mail-button> Yes -<mm-dont-receive-own-mail-button> No <p> -</td></tr> -<tr><TD class="head3"> -<strong> Receive acknowledgement mail when you send mail to the list? </strong><br> -<mm-dont-ack-posts-button> No -<mm-ack-posts-button> Yes <p> -</td></tr> -<tr><TD class="head3"> -<strong> Conceal yourself from subscriber list? </strong><br> -<MM-Public-Subscription-Button> No -<MM-Hide-Subscription-Button> Yes <p> -</td></tr> -<tr><TD class="head3"> -Password: <MM-Digest-Pw-Box> <MM-Digest-Submit><p> -</td></tr></table> -</center> - -<p> -<MM-Form-End> - -<MM-Mailman-Footer> -</body> -</html> - |