diff options
| author | David Aspinall | 2002-01-15 14:05:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 14:05:00 +0000 |
| commit | 6c8a7016f6f9d5a12f425c4422690f489ce8590e (patch) | |
| tree | b2090cf8679a514c0029acc8d372a743daf18d3f /html/download.html | |
| parent | bb2f58f761b01dc7346ec6aeb1acb776b8a63cb5 (diff) | |
Fix link to feedback page
Diffstat (limited to 'html/download.html')
| -rw-r--r-- | html/download.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/html/download.html b/html/download.html index 339913d7..6ebdfdf2 100644 --- a/html/download.html +++ b/html/download.html @@ -82,7 +82,7 @@ from the source tarball using <tt>rpm -ta</tt>. </p> <p> This version of Proof General has been tested -with XEmacs 21.4 and (briefly with) FSF Emacs 20.7. +with XEmacs 21.4 and (briefly with) GNU Emacs 20.7. It supports earlier versions of both Emacsen, but we recommend using the latest versions available </p> @@ -121,7 +121,7 @@ of <a href="http://www.xemacs.org">XEmacs</a> ftp mirror</a> may help). <br> <b>or</b> version 20.7 of the much poorer -<a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>. +<a href="http://www.gnu.org/software/emacs/">GNU GNU Emacs</a>. <br> Both Emacsen are available for a variety of platforms, including Unix variants and Windows 95/98/NT/2k. @@ -149,10 +149,10 @@ for installation notes. <br>X-Symbol presently only works with XEmacs on systems running X. </li> <!-- <li> --> -<!-- For FSF Emacs, a version of <tt>func-menu.el</tt> to get --> +<!-- For GNU Emacs, a version of <tt>func-menu.el</tt> to get --> <!-- <a href="features#funcmenu">function menus</a>. --> <!-- <br>Unfortunately I can't find a version of this that --> -<!-- works with current FSF Emacs releases. I'd be grateful --> +<!-- works with current GNU Emacs releases. I'd be grateful --> <!-- for a pointer to one. --> <!-- <br> --> <!-- (The package --> |