diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-11-22 18:23:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-11-22 18:23:51 +0000 |
| commit | a9b6ecac600cc82ce69274ab28714e27b0ffe8ed (patch) | |
| tree | 593134d02e0c0c9052f3bc03acfb95284dc95720 /html | |
| parent | b498c53c036b930376165874542c693a2148e227 (diff) | |
Fix link to Isamode.
Diffstat (limited to 'html')
| -rw-r--r-- | html/about.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 |