From e9871cca82406dd9f1003085f4b43ba8459640a7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 13:43:45 +0000
Subject: pointer to FSF Emacs

---
 html/main.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

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>
-- 
cgit v1.2.3