From 4037666f8a735cf9d4f1654e87afe1fb6a6ada4a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 31 Aug 2002 13:34:55 +0000 Subject: Fix typo. --- 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 f7b57577..e34b5cbc 100644 --- a/html/download.html +++ b/html/download.html @@ -81,7 +81,7 @@ here here.
This version of Proof General has been tested with XEmacs 21.4 and GNU Emacs 21.2. It should work with some 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. -- cgit v1.2.3