From 7c87627520588910bd1e69eb61099ee7fd3671ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:44:32 +0000
Subject: Typo.  Update Emacs version to 20.7.

---
 html/download.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index a84845a1..cfd52d2f 100644
--- a/html/download.html
+++ b/html/download.html
@@ -50,7 +50,7 @@ of <a href="http://www.xemacs.org">XEmacs</a>
 <a href="http://sunsite.doc.ic.ac.uk/Mirrors/ftp.xemacs.org/pub/xemacs/">
 ftp mirror</a> may help).
 <br>
-<b>or</b> version 20.5 or later of the much poorer 
+<b>or</b> version 20.7 of the much poorer 
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
 Both Emacsen are available for a variety of platforms, including
@@ -147,7 +147,7 @@ from the source tarball using <tt>rpm -ta</tt>.
 This version of Proof General has been tested
 with XEmacs 21.4 and (briefly with) FSF Emacs 20.7.
 It supports earlier versions of both Emacsen, but
-we recommend using the latest versions availab.e
+we recommend using the latest versions available
 </p>
 <p>
 Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
-- 
cgit v1.2.3