diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 10:41:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 10:41:55 +0000 |
| commit | 9dd38947a6cc1f8f81e3ac592dc4052602c18f91 (patch) | |
| tree | aebe65f770083be9f05801af42720bb5b5196282 | |
| parent | 1cbacb6fe2880e4650572dbbeb4593a0762c4dad (diff) | |
Cleanup html, fix URLs to final versions.
| -rw-r--r-- | etc/Mailman/handle_opts.html | 4 | ||||
| -rw-r--r-- | etc/Mailman/listinfo.html | 9 | ||||
| -rw-r--r-- | etc/Mailman/options.html | 26 | ||||
| -rw-r--r-- | etc/Mailman/subscribe.html | 4 |
4 files changed, 24 insertions, 19 deletions
diff --git a/etc/Mailman/handle_opts.html b/etc/Mailman/handle_opts.html index 21a8a189..98ce0a02 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/pg/favicon.ico"> -<link href="http://www.proofgeneral.org/pg/proofgen.css" rel="stylesheet" type="text/css"> +<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> +<link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> </head> <body> <h1><MM-List-Name> <MM-Operation> Results</h1> 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> + diff --git a/etc/Mailman/options.html b/etc/Mailman/options.html index 86817a3a..6f3ab613 100644 --- a/etc/Mailman/options.html +++ b/etc/Mailman/options.html @@ -1,14 +1,15 @@ -<!-- PG Template $Id$. Based on Informatics/MM Revision: 1.21 --> +<!-- Template for PG lists, based on Informatics/Mailman template Revision: 1.21 --> +<!-- $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 Options 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" @@ -54,27 +55,30 @@ password, and options for the <MM-List-Name> mailing list. </TD> </TR> - <tr> - <td> - +<tr> +<td> To unsubscribe, enter your password and hit the button. (If you've lost your password, see just below to have it emailed to you.) <p> Password: <MM-Unsub-Pw-Box> <MM-Unsubscribe-Button> +</p> </a> - <td> +</td> +<td> Enter your password to visit a list of links to option pages for all your subscriptions. <p> -Password: <MM-Other-Subscriptions-Pw-Box> <MM-Other-Subscriptions-Submit><p> - - </TD></TR> </table> +Password: <MM-Other-Subscriptions-Pw-Box> +<MM-Other-Subscriptions-Submit><p> +</p> +</td></tr> +</table> - <TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="5"> +<TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="5"> <!-- Added style sheet --> <TR> <TD class="head2" COLSPAN="2" WIDTH="100%"> diff --git a/etc/Mailman/subscribe.html b/etc/Mailman/subscribe.html index 0825c8f8..ec10dd24 100644 --- a/etc/Mailman/subscribe.html +++ b/etc/Mailman/subscribe.html @@ -2,8 +2,8 @@ <html> <head> <title><MM-List-Name> Subscription results</title> -<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/pg/favicon.ico"> -<link href="http://www.proofgeneral.org/pg/proofgen.css" rel="stylesheet" type="text/css"> +<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> +<link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> </head> <body> <h1><MM-List-Name> Subscription results</h1> |