From c1c5f9c668996da252e533e8aad87c6ff604b9f4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 17 May 2005 18:29:23 +0000 Subject: Updated. --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index 93ecb827..6d7562dc 100644 --- a/INSTALL +++ b/INSTALL @@ -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 -- cgit v1.2.3