diff options
Diffstat (limited to 'html/about.phtml')
| -rw-r--r-- | html/about.phtml | 6 |
1 files changed, 3 insertions, 3 deletions
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> |