From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/mailinglist | 66 -------------------------------------------------------- 1 file changed, 66 deletions(-) delete mode 100644 html/mailinglist (limited to 'html/mailinglist') diff --git a/html/mailinglist b/html/mailinglist deleted file mode 100644 index d957589e..00000000 --- a/html/mailinglist +++ /dev/null @@ -1,66 +0,0 @@ - - -

-The Proof General Users mailing list is a low-volume list -used for announcements of new versions, and occasional -discussions amongst users. -

-

-This list is not for those having problems with the -software: please contact -da+pg-support@inf.ed.ac.uk -in the first instance. -

- -

Subscriptions

-

-To subscribe or unsubscribe, visit -the -Mailman -web page for the list. -
-Alternatively, you can send a message to - -proofgeneral-request@informatics.ed.ac.uk -with the word "subscribe" (or "unsubscribe password") -in the message body. -

- - -

Posting

-

-The canonical mailing list address is -da+pg-users@inf.ed.ac.uk. -
-This is an alias for -proofgeneral@informatics.ed.ac.uk. -

-

-In an effort to prevent spam, posting is restricted to list members. -Please subscribe here before attempting to post. -

- -

Archives

-

-Archives of the list (since July 2002) are kept -here. -

- -

Proof General Developers list

-

-There is a separate mailing list for those interested in the -development of Proof General. The canonical address -for this list is da+pg-devel@inf.ed.ac.uk. -Again, posting is restricted to list members. -Please visit the Mailman web page for subscription details. -

- - - - -- cgit v1.2.3