diff options
| author | David Aspinall | 2003-02-17 20:44:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-17 20:44:11 +0000 |
| commit | 71b52dac340d4dd55ab420628a51123781c7fc1d (patch) | |
| tree | 5e63d04b66c97f90cf672d199c37a4055b51f410 | |
| parent | 62b63039ab46aee41cfceef7f9a56570e13d46d7 (diff) | |
Update addresses
| -rw-r--r-- | html/footer.html | 2 | ||||
| -rw-r--r-- | html/oldnews.html | 4 | ||||
| -rw-r--r-- | html/register.html | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/html/footer.html b/html/footer.html index de01ece5..77709857 100644 --- a/html/footer.html +++ b/html/footer.html @@ -2,7 +2,7 @@ <hr> <address> Web pages by -<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. +<a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. <br> Contact <?php mlinktxt($project_feedback, "Proof General maintainer."); ?> diff --git a/html/oldnews.html b/html/oldnews.html index 89d856c7..510f0904 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -234,7 +234,7 @@ I'm pleased to say that Proof General will be demonstrated at <a href="http://iks.cs.tu-berlin.de/etaps2000/etaps.html">ETAPS 2000</a>. Here are some draft <a href="papers/pgtalk.pdf">slides</a> for the presentation -(any <a href="mailto:da@dcs.ed.ac.uk">comments</a> would be welcome). +(any <a href="mailto:David.Aspinall@ed.ac.uk">comments</a> would be welcome). A presentation of Proof General based on these slides was given at <a href="http://www.clrc.ac.uk/">Rutherford Appleton Laboratory</a> last week. </p> @@ -407,7 +407,7 @@ support implemented. </li> </ul> <p> -<i>News items by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.</i> +<i>News items by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.</i> </p> diff --git a/html/register.html b/html/register.html index 097d8441..2b8ed157 100644 --- a/html/register.html +++ b/html/register.html @@ -78,7 +78,7 @@ again, so return to <a href="download#prereq">the download page</a>. . "\nEmail:\t\t " . $email . "\nSite:\t\t " . $site . "\nSubmitted:\t" . date("h:ia D jS F Y"); - mail("proofgen@dcs.ed.ac.uk", + mail("register@proofgeneral.org", "[Registration form from ~proofgen]", $message); @@ -91,7 +91,7 @@ again, so return to <a href="download#prereq">the download page</a>. if ($mailinglist) { $message = "subscribe proofgeneral"; - mail("majordomo@dcs.ed.ac.uk", + mail("mailman@inf.ed.ac.uk", "[Web form from ~proofgen]", $message, "Reply-To: " . $email . "\nFrom: " . $email); |