From bbe8da6a59d5afb1dcc73f518c8ebb24603f6bd3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 31 Jan 2002 18:52:16 +0000 Subject: Update for recent releases. --- INSTALL | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 7f7f50f6..6b12657f 100644 --- a/INSTALL +++ b/INSTALL @@ -64,8 +64,8 @@ If you have the RPM file, this is the line you should add to your -Running on Windows 95/98/NT ---------------------------- +Running on Windows +------------------ We recommend XEmacs compiled for Windows, see http://www.xemacs.org @@ -78,6 +78,8 @@ into .emacs. You should put .emacs in value of HOME if you set that, or else in directory you installled XEmacs in, e.g. c:\Program Files\XEmacs\.emacs +See also README.windows + Dependency on Other Emacs Packages ---------------------------------- @@ -97,7 +99,7 @@ These are the packages that you need to use Proof General: OPTIONAL: * outline * func-menu - * X Symbol [ XEmacs only; separate download ] + * X Symbol @@ -159,10 +161,7 @@ example, the name of the proof assistant binary). See the menu Proof-General -> Customize -> -and the notes below for more details. - -Notice that the customization mechanism is only available in -Emacs 20.x and XEmacs. +and the manual for more details. -- cgit v1.2.3