diff options
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 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. |