From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/doc.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index f771b5a5..e8ae6b98 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -29,10 +29,10 @@ list</a>.
 <p> Ideas for the future of Proof General are given here:
 </p>
 <ul>
-<li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
+<li><a href="http://zermelo.dcs.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/home/da/drafts/#eproof">here</a>.
+    <a href="http://zermelo.dcs.ed.ac.uk/~da/drafts/#eproof">here</a>.
 </li>
 <li><a href="http://www.dcs.ed.ac.uk/home/da">David Aspinall</a>.
     <b><i>Proof General Kit (white paper)</i></b>.
-- 
cgit v1.2.3