1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
|
<!-- Template for PG lists, based on Informatics/Mailman template Revision: 1.21 -->
<!-- $Id$ -->
<html>
<head>
<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico">
<title><MM-List-Name> Mailing List Options Page</title>
<meta name="author" content="David Aspinall <da@dcs.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://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css">
</head>
<body
bgcolor="#2D1D03"
background="http://www.proofgeneral.org/images/canvaswallpaper.jpg"
text="#FFFFFF"
link="#FFD820"
vlink="#FFD820"
alink="#FFF030"
>
<table width="80%">
<tr>
<td width="15%">
<a href="">
<img src="http://www.proofgeneral.org/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>
|
