From a9b6ecac600cc82ce69274ab28714e27b0ffe8ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Nov 2002 18:23:51 +0000
Subject: Fix link to Isamode.

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

(limited to 'html')

diff --git a/html/about.html b/html/about.html
index 01c2393f..2c8e03db 100644
--- a/html/about.html
+++ b/html/about.html
@@ -17,7 +17,7 @@ list</a>.
 The forefather of Proof General was LEGO mode, begun in 1994 at the <a
 href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a> by Thomas Kleymann.  LEGO
 mode was an Emacs-based front end for LEGO similar to David Aspinall's
-<a href="http://www.proofgeneral.org/~isamode">Isamode</a>,
+<a href="http://homepages.inf.ed.ac.uk/da/Isamode">Isamode</a>,
 developed at the LFCS since 1992.  After 1994, implementations of
 proof-by-pointing and script management were added to LEGO mode, and
 the code was made generic.  The generic basis was developed by
-- 
cgit v1.2.3