From be83d225035696f89ed843ae5b0efd5c6d391388 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Jan 2003 15:05:26 +0000
Subject: Updated.

---
 html/links.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/links.html b/html/links.html
index 6995793a..f18d20f0 100644
--- a/html/links.html
+++ b/html/links.html
@@ -7,7 +7,7 @@ for links to include here, please
 </p>
 
 <ul>
-<li><a href="http://zermelo.dcs.ed.ac.uk/~isamode">Isamode</a>
+<li><a href="http://homepages.inf.ed.ac.uk/da/Isamode">Isamode</a>
   is an XEmacs front-end for Isabelle.  It has a different
   feature collection compared with Proof General:
   script management is not supported, but there are extensive
-- 
cgit v1.2.3