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
|
<!-- 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>
|