diff options
| -rw-r--r-- | html/download.html | 4 |
1 files changed, 2 insertions, 2 deletions
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 |