From 022a44c346b94e365d70106dccbd4fddfde5b85e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Sep 2001 14:40:17 +0000
Subject: Trim page a bit

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

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 1721ac67..44ab35e7 100644
--- a/html/download.html
+++ b/html/download.html
@@ -124,7 +124,7 @@ ftp mirror</a> may help).
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
 Both Emacsen are available for a variety of platforms, including
-Unix variants and Windows 95/98/NT.
+Unix variants and Windows 95/98/NT/2k.
 </li>
 <li>
 One or more of the supported proof assistants.  Or write your own
-- 
cgit v1.2.3