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/kit.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/kit.php')

diff --git a/html/kit.php b/html/kit.php
index 4612071e..0aa4015e 100644
--- a/html/kit.php
+++ b/html/kit.php
@@ -15,15 +15,15 @@ or suggestions to contribute, please send a note to
 Ideas for the future of Proof General are described in these papers:
 </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/papers/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/papers/drafts/#white">here</a>.
 </li>
 </ul>
 
-- 
cgit v1.2.3