diff options
| author | David Aspinall | 1999-12-01 19:53:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-12-01 19:53:46 +0000 |
| commit | 1a9d4636037f54810a034e4f33dbbb21b88fa408 (patch) | |
| tree | ee3955542bde7f79c0b37d6bba24709537e5a365 /html | |
| parent | b6b15e99ebb4cdfb87618b1b7d65bb34eda9da55 (diff) | |
Update link for Isamode to be on zermelo (careful)
Diffstat (limited to 'html')
| -rw-r--r-- | html/about.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |