diff options
| author | David Aspinall | 1999-06-28 13:43:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-28 13:43:45 +0000 |
| commit | e9871cca82406dd9f1003085f4b43ba8459640a7 (patch) | |
| tree | 92236177a3fb6f6d425e52df0a6e493b181b9aa7 /html | |
| parent | 23ce5b18a5b7a1a0a77fa61b9b4fc034720fbd64 (diff) | |
pointer to FSF Emacs
Diffstat (limited to 'html')
| -rw-r--r-- | html/main.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/main.phtml b/html/main.phtml index b9ee6c05..4f600174 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -16,7 +16,7 @@ based on Emacs. It works best under <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with -<a href="ftp://prep.ai.mit.edu/pub/gnu/emacs/">FSF GNU Emacs</a>. +<a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>. <br> It is supplied ready-customized for several proof assistants: </p> |