diff options
Diffstat (limited to 'etc/Mailman/listinfo.html')
-rw-r--r-- | etc/Mailman/listinfo.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/etc/Mailman/listinfo.html b/etc/Mailman/listinfo.html index 97df4a83..45840916 100644 --- a/etc/Mailman/listinfo.html +++ b/etc/Mailman/listinfo.html @@ -2,14 +2,14 @@ <!-- $Id$ --> <html> <head> - <link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/pg/favicon.ico"> + <link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> <title><MM-List-Name> Mailing List Info Page</title> <meta name="author" content="David Aspinall <da@dcs.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/pg/proofgen.css" rel="stylesheet" type="text/css"> + <link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> </head> <body bgcolor="#2D1D03" @@ -45,7 +45,7 @@ </tr> <tr> <TD class="head2" COLSPAN="2" WIDTH="100%"> - About <MM-List-Name> + About the <MM-List-Name> list </TD> </TR> <tr> @@ -66,7 +66,7 @@ </TR> <tr> <TD class="head2" COLSPAN="2" WIDTH="100%"> - Using <MM-List-Name> + Using the <MM-List-Name> list </TD> </TR> <tr> @@ -151,3 +151,4 @@ <MM-Mailman-Footer> </BODY> </HTML> + |