diff options
| author | David Aspinall | 2002-08-31 13:34:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 13:34:55 +0000 |
| commit | 4037666f8a735cf9d4f1654e87afe1fb6a6ada4a (patch) | |
| tree | 709e8d69605c0284832d3354a9d0d5d6810b5c94 | |
| parent | a8f40617f17585d9f21ae3af6678dedb7119d593 (diff) | |
Fix typo.
| -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 f7b57577..e34b5cbc 100644 --- a/html/download.html +++ b/html/download.html @@ -81,7 +81,7 @@ here <a href="doc">here</a>. <p> This version of Proof General has been tested with XEmacs 21.4 and GNU Emacs 21.2. It should work with <i>some</i> earlier versions of -XEmacs, but we recommend using of these Emacs versions for most +XEmacs, but we recommend using these Emacs versions for the most reliable results. Support on GNU Emacs is catching up, but XEmacs is still the better tested and more fully-featured environment. See below for links. |