diff options
| author | David Aspinall | 2001-09-09 14:40:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-09 14:40:17 +0000 |
| commit | 022a44c346b94e365d70106dccbd4fddfde5b85e (patch) | |
| tree | 28c0cf9e6c34e96aa00462c785ba5dc5a780df66 /html | |
| parent | 5589f0d77171ad4bb327bb47165ddce5ce72d2f6 (diff) | |
Trim page a bit
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 |