From 6de932260c50a9200ef8b9aae007ca279049da63 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Jan 2003 13:58:17 +0000
Subject: Update my email and web

---
 html/doc.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index b06b6dd2..b4e0e5ee 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -76,21 +76,21 @@ available <a href="http://www.xemacs.org/Documentation/index.html">here</a> (xem
 <p> Ideas for the future of Proof General are given here:
 </p>
 <ul>
-<li><a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
+<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
     <b><i>Protocols for Interactive e-Proof</i></b>.
     Draft version, see 
-    <a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>.
+    <a href="http://homepages.inf.ed.ac.uk/da/drafts/#eproof">here</a>.
 </li>
-<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
+<li><a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
     <b><i>Proof General Kit (white paper)</i></b>.
     Draft version, see 
-    <a href="http://zermelo.dcs.ed.ac.uk/home/da/drafts/#white">here</a>.
+    <a href="http://homepages.inf.ed.ac.uk/da/drafts/#white">here</a>.
 </li>
 </ul>
 <p> A technology overview of Proof General is given here:
 </p>
 <ul>
-<li> <a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
+<li> <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>.
     <a href="papers/pgoutline.ps.gz">Proof General: A Generic Tool for
      Proof Development</a>.
      <i>Tools and Algorithms for the Construction and 
-- 
cgit v1.2.3