From a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 2 Mar 2004 22:23:35 +0000 Subject: Purge proofgeneral.org --- etc/Mailman/handle_opts.html | 4 ++-- etc/Mailman/intro-proofgeneral.html | 4 ++-- etc/Mailman/intro-proofgeneraldevel.html | 2 +- etc/Mailman/listinfo.html | 10 +++++----- 4 files changed, 10 insertions(+), 10 deletions(-) diff --git a/etc/Mailman/handle_opts.html b/etc/Mailman/handle_opts.html index 98ce0a02..2912b593 100644 --- a/etc/Mailman/handle_opts.html +++ b/etc/Mailman/handle_opts.html @@ -2,8 +2,8 @@ <MM-List-Name> <MM-Operation> Results - - + +

Results

diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html index d66cc397..57e9dd06 100644 --- a/etc/Mailman/intro-proofgeneral.html +++ b/etc/Mailman/intro-proofgeneral.html @@ -1,3 +1,3 @@ -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. +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 support@proofgeneral.org instead of posting to this list. People who are interested in the development of Proof General should join the Proof General developers list. +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 index ef926a63..e8ccd50e 100644 --- a/etc/Mailman/intro-proofgeneraldevel.html +++ b/etc/Mailman/intro-proofgeneraldevel.html @@ -1,4 +1,4 @@ -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. +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 index f0295cd6..419f3451 100644 --- a/etc/Mailman/listinfo.html +++ b/etc/Mailman/listinfo.html @@ -2,18 +2,18 @@ - + <MM-List-Name> Mailing List Info Page - + - + -Proof General Home +Proof General Home -- cgit v1.2.3