diff options
| author | David Aspinall | 2004-03-02 22:23:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-02 22:23:35 +0000 |
| commit | a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5 (patch) | |
| tree | 9fe10b0d57f91fbb9dd749494aa4afa76b656b06 /etc/Mailman/listinfo.html | |
| parent | 13295efaaa0bee8c9d3393aedb8932b7365fe7b2 (diff) | |
Purge proofgeneral.org
Diffstat (limited to 'etc/Mailman/listinfo.html')
| -rw-r--r-- | etc/Mailman/listinfo.html | 10 |
1 files changed, 5 insertions, 5 deletions
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%"> |