From 1a9d4636037f54810a034e4f33dbbb21b88fa408 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Dec 1999 19:53:46 +0000
Subject: Update link for Isamode to be on zermelo (careful)

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

(limited to 'html')

diff --git a/html/about.phtml b/html/about.phtml
index 7f7274c1..18ad95f1 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -4,7 +4,7 @@
 The forefather of Proof General was LEGO mode, begun in 1994 at the <a
 href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Thomas Kleymann.  LEGO
 mode was an Emacs-based front end for LEGO similar to David Aspinall's
-<a href="http://www.dcs.ed.ac.uk/home/da/Isamode">Isamode</a>,
+<a href="http://zermelo.dcs.ed.ac.uk/~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