From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 12:18:37 +0000
Subject: Fix Proof General web page to www.proofgeneral.org.

---
 html/about.phtml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/about.phtml')

diff --git a/html/about.phtml b/html/about.phtml
index e3e244af..7641676d 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -1,9 +1,9 @@
 <h2>About the Proof General project</h2>
 <p>
 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
+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://zermelo.dcs.ed.ac.uk/~isamode">Isamode</a>,
+<a href="http://www.proofgeneral.org/~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
@@ -22,7 +22,7 @@ EPSRC,
 <!-- </a>, -->
 the <a
 href="http://www.dcs.ed.ac.uk/lfcs/research/types_bra/index.html">EC</a>,
-and the <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a>.
+and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>.
 </p>
 
 <p>
-- 
cgit v1.2.3