Deleted file

author: David Aspinall <da@inf.ed.ac.uk> 2009-09-07 20:31:39 +0000
committer: David Aspinall <da@inf.ed.ac.uk> 2009-09-07 20:31:39 +0000
commit: 5492bc751b140106e59c60e7499f1a43fd5ca045 (patch)
tree: 5ec9263456833f116fcc3d4dfa9984616eee5c52 /etc
parent: 96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff)
7 files changed, 0 insertions, 402 deletions
diff --git a/etc/Mailman/handle_opts.html b/etc/Mailman/handle_opts.html
deleted file mode 100644
index 2912b593..00000000
--- a/etc/Mailman/handle_opts.html
+++ /dev/null
@@ -1,13 +0,0 @@
-<!-- PG Template $Id$.  Based on Informatics/MM Revision: 1.4 -->
-<html>
-<head>
-<title><MM-List-Name> <MM-Operation> Results</title>
-<link rel="SHORTCUT ICON" href="http://proofgeneral.inf.ed.ac.uk/favicon.ico">
-<link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1><MM-List-Name> <MM-Operation> Results</h1>
-<MM-Results>
-<MM-Mailman-Footer>
-</body>
-</html>
diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html
deleted file mode 100644
index 57e9dd06..00000000
--- a/etc/Mailman/intro-proofgeneral.html
+++ /dev/null
@@ -1,3 +0,0 @@
-<a href="http://proofgeneral.inf.ed.ac.uk">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General.  Posting is only available to list members.  
-
-If you have a problem with using or configuring Proof General, please contact <a href="mailto:da+pg-support@inf.ed.ac.uk">da+pg-support@inf.ed.ac.uk</a> instead of posting to this list.  People who are interested in the development of Proof General should join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>.
diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html
deleted file mode 100644
index e8ccd50e..00000000
--- a/etc/Mailman/intro-proofgeneraldevel.html
+++ /dev/null
@@ -1,4 +0,0 @@
-<a href="http://proofgeneral.inf.ed.ac.uk">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
-Posting is only available to list members.
-
-For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a>.  Announcements sent there will <b>not</b> be duplicated here.
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%">&nbsp;</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>&nbsp;</TD></TR>
-      <TR> 
-	<TD class="head3">Reenter password to confirm:</TD>
-	<TD><MM-Confirm-Password></TD>
-	<TD>&nbsp; </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>
-
diff --git a/etc/Mailman/note.txt b/etc/Mailman/note.txt
deleted file mode 100644
index a8ad267d..00000000
--- a/etc/Mailman/note.txt
+++ /dev/null
@@ -1,41 +0,0 @@
-Admin user:
-Admin pwd hint: new year hills
-
-=================================================================
-
-intro-proofgeneral<-devel>.html
-is header set in general options
-http://lists.informatics.ed.ac.uk/mailman/admin/proofgeneral/general
-http://lists.informatics.ed.ac.uk/mailman/admin/proofgeneral-devel/general
-
------------------------------------------------------------------
-
-The remaining templates have to be installed in mailman by visiting
-these pages:
-
-http://lists.informatics.ed.ac.uk/mailman/edithtml/proofgeneral/<template>
-
-http://lists.informatics.ed.ac.uk/mailman/edithtml/proofgeneral-devel/<template>
-
-The same templates are used to give PG styling to each list.
-
-
-See Mailman docs at http://www.imsa.edu/~ckolar/mailman/
-
-(For mail admin settings, see here:
-  http://www.imsa.edu/~ckolar/mailman/mailman-administration-v2.html)
-
-=================================================================
-
-FIXME:
-
-Header of options/result seems broken in Mailman/inf:
-
-following junk appears at start of page defined:
-
-<html>
-<head>
-</head>
-<body
-<BODY bgcolor="#ffffff">
-
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> &nbsp;
-<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> &nbsp;
-<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>
-
diff --git a/etc/Mailman/subscribe.html b/etc/Mailman/subscribe.html
deleted file mode 100644
index 9e084f57..00000000
--- a/etc/Mailman/subscribe.html
+++ /dev/null
@@ -1,13 +0,0 @@
-<!-- PG Template $Id$.  Based on Informatics/MM Revision: 1.4 -->
-<html>
-<head>
-<title><MM-List-Name> Subscription results</title>
-<link rel="SHORTCUT ICON" href="http://proofgeneral.inf.ed.ac.uk/favicon.ico">
-<link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css">
-</head>
-<body>
-<h1><MM-List-Name> Subscription results</h1>
-<MM-Results>
-<MM-Mailman-Footer>
-</body>
-</html>
author	David Aspinall <da@inf.ed.ac.uk>	2009-09-07 20:31:39 +0000
committer	David Aspinall <da@inf.ed.ac.uk>	2009-09-07 20:31:39 +0000
commit	5492bc751b140106e59c60e7499f1a43fd5ca045 (patch)
tree	5ec9263456833f116fcc3d4dfa9984616eee5c52 /etc
parent	96d6ec3c75418bce0c1de8346a067ed2dacabf73 (diff)