diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-02 22:23:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-02 22:23:35 +0000 |
| commit | a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5 (patch) | |
| tree | 9fe10b0d57f91fbb9dd749494aa4afa76b656b06 /etc | |
| parent | 13295efaaa0bee8c9d3393aedb8932b7365fe7b2 (diff) | |
Purge proofgeneral.org
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/Mailman/handle_opts.html | 4 | ||||
| -rw-r--r-- | etc/Mailman/intro-proofgeneral.html | 4 | ||||
| -rw-r--r-- | etc/Mailman/intro-proofgeneraldevel.html | 2 | ||||
| -rw-r--r-- | 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 @@ <html> <head> <title><MM-List-Name> <MM-Operation> Results</title> -<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> -<link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> +<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> 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 @@ -<a href="http://www.proofgeneral.org">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. +<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:support@proofgeneral.org">support@proofgeneral.org</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>. +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 index ef926a63..e8ccd50e 100644 --- a/etc/Mailman/intro-proofgeneraldevel.html +++ b/etc/Mailman/intro-proofgeneraldevel.html @@ -1,4 +1,4 @@ -<a href="http://www.proofgeneral.org">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. +<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 index f0295cd6..419f3451 100644 --- a/etc/Mailman/listinfo.html +++ b/etc/Mailman/listinfo.html @@ -2,18 +2,18 @@ <!-- $Id$ --> <html> <head> - <link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> + <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 <da@dcs.ed.ac.uk>"> + <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://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> + <link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css"> </head> <body bgcolor="#2D1D03" - background="http://www.proofgeneral.org/images/canvaswallpaper.jpg" + background="http://proofgeneral.inf.ed.ac.uk/images/canvaswallpaper.jpg" text="#FFFFFF" link="#FFD820" vlink="#FFD820" @@ -23,7 +23,7 @@ <tr> <td width="15%"> <a href=""> -<img src="http://www.proofgeneral.org/images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home"> +<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%"> |