diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/download.html | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/html/download.html b/html/download.html index 24c690e5..340a6577 100644 --- a/html/download.html +++ b/html/download.html @@ -79,16 +79,19 @@ here <a href="doc">here</a>. "front page image") ?>. --> </p> -<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 these Emacs versions for most -reliable results. +<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 +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. </p> <p> -Check the <?php fileshow("ProofGeneral-3.4/CHANGES","CHANGES"); ?> file -for a summary of changes since version 3.3. +See the <?php +fileshow("ProofGeneral-3.4/etc/announce","announcement"); ?> for more +details, or check the <?php +fileshow("ProofGeneral-3.4/CHANGES","CHANGES"); ?> file for a summary +of changes since version 3.3. </p> <p> @@ -114,13 +117,13 @@ To run Proof General, you <strong>must</strong> have: </p> <ul> <li> -Version 21.1 or later +Version 21.1 or 21.4 of <a href="http://www.xemacs.org">XEmacs</a> (this UK <a href="http://sunsite.doc.ic.ac.uk/Mirrors/ftp.xemacs.org/pub/xemacs/"> ftp mirror</a> may help). <br> -<b>or</b> version 21.1 of +<b>or</b> version 21.2 of <a href="http://www.gnu.org/software/emacs/">GNU Emacs</a>. <br> Both Emacsen are available for a variety of platforms, including |