aboutsummaryrefslogtreecommitdiff
path: root/html/main.html
diff options
context:
space:
mode:
authorDavid Aspinall2001-12-11 17:50:25 +0000
committerDavid Aspinall2001-12-11 17:50:25 +0000
commit6f23f45de95d60f07a0699f94a4abe6944c0f0b8 (patch)
tree7fe3c1c486ee546d7b8018d7dc5a1a35760bb8a5 /html/main.html
parent2d577ad5ba24a292fe1b47aafcfb5c26efe5c533 (diff)
Be politically correct about FSF GNU Emacs; update to mention version 21.
Diffstat (limited to 'html/main.html')
-rw-r--r--html/main.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/main.html b/html/main.html
index 72c3f1a0..88ed8a73 100644
--- a/html/main.html
+++ b/html/main.html
@@ -8,7 +8,7 @@ in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
Proof General
works best under
<a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with
-<a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
+<a href="http://www.gnu.org/software/emacs/">GNU Emacs</a>.
You need a recent version in either case.
</p>
<p>