From 5492bc751b140106e59c60e7499f1a43fd5ca045 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 20:31:39 +0000 Subject: Deleted file --- etc/Mailman/handle_opts.html | 13 --- etc/Mailman/intro-proofgeneral.html | 3 - etc/Mailman/intro-proofgeneraldevel.html | 4 - etc/Mailman/listinfo.html | 142 ----------------------- etc/Mailman/note.txt | 41 ------- etc/Mailman/options.html | 186 ------------------------------- etc/Mailman/subscribe.html | 13 --- 7 files changed, 402 deletions(-) delete mode 100644 etc/Mailman/handle_opts.html delete mode 100644 etc/Mailman/intro-proofgeneral.html delete mode 100644 etc/Mailman/intro-proofgeneraldevel.html delete mode 100644 etc/Mailman/listinfo.html delete mode 100644 etc/Mailman/note.txt delete mode 100644 etc/Mailman/options.html delete mode 100644 etc/Mailman/subscribe.html 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 @@ - - - -<MM-List-Name> <MM-Operation> Results - - - - -

Results

- - - - 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 @@ -Proof General 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 da+pg-support@inf.ed.ac.uk instead of posting to this list. People who are interested in the development of Proof General should join the Proof General developers list. 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 @@ -Proof General 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 ProofGeneral users list. Announcements sent there will not 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 @@ - - - - - - <MM-List-Name> Mailing List Info Page - - - - - - - - - - -
- -Proof General Home - - -

List Info Page

-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- -- -
- About the list -
-

-

To see the collection of prior postings to the list, - visit the - Archives. - -

-
- Using the list -
- To post a message to all the list members, send email to - . - -

You can subscribe to the list, or change your existing - subscription, in the sections below. -

- Subscribing to the list -
-

- Subscribe to the list by filling out the following - form. - -

    - - - - - - - - - - - - - - - - - - - - - -
    Your email address: -  
    You must enter a - privacy password. This provides only mild security, - but should prevent others from messing with your - subscription. Do not use a valuable password as - it will occasionally be emailed back to you in cleartext. - -
    Pick a password: 
    Reenter password to confirm: 
    Would you like to receive list mail batched in a daily - digest? - No - Yes -
    -

    -
    - -
-
- subscribers -
- - - -

- - - -

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