diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 08:51:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 08:51:01 +0000 |
commit | 5fb8dbfb42c86b358eb1b9655638c5cfce6d1827 (patch) | |
tree | 99469d9a319d139419fd17c8f3d16d43062b1ca8 | |
parent | c2122d3f2a25c8133333f55e826742420c71f706 (diff) |
Updated.
-rw-r--r-- | html/download.html | 23 | ||||
-rw-r--r-- | todo | 5 |
2 files changed, 18 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 @@ -734,3 +734,8 @@ List of things postponed from PG 3.4: need to be merged above This needs to be fixed up in count undos, find-and-forget. *** Generic versions of count undos and find-and-forget generic. + +*** Keybindings on menus: many missing in GNU Emacs. + Also strange things happen with docstrings for macro-generated + functions. (C-h C-c C-p gives message "can't find docstring for + proof-prf" at one point, then later finds it?!) |