diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-05-17 18:29:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-05-17 18:29:23 +0000 |
commit | c1c5f9c668996da252e533e8aad87c6ff604b9f4 (patch) | |
tree | c15759787732b2c2ab6b99e0f61258778f62bc6b /INSTALL | |
parent | 741142ce77dd655b47b2b6fc4e58cb5ca7b0e7e4 (diff) |
Updated.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ Detailed installation Notes for Proof General Supported Emacs Versions. ------------------------- -This release has been tested with XEmacs 21.4.14 and GNU Emacs 21.3.1 +This release has been tested with XEmacs 21.4.17 and GNU Emacs 21.3.1 (running on i386 Linux). We recommend using these or later versions. If you're not sure of your version of Emacs, inspect the |