From d44ae69502e825036daba4773b84c8ccfdcab9e3 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 12 Oct 1998 12:32:06 +0000 Subject: added note about Emacs versions --- INSTALL | 3 +++ 1 file changed, 3 insertions(+) diff --git a/INSTALL b/INSTALL index 05b570e3..95915e73 100644 --- a/INSTALL +++ b/INSTALL @@ -40,6 +40,9 @@ example, the name of the proof assistant binary). See the menu and the notes below for more details. +Notice that the customization mechanism is only available in +Emacs 20.x and XEmacs. + If you are installing Proof General site-wide, you can put the components in separate directories, providing the variables in proof-site.el are adjusted accordingly. Make sure that the generic -- cgit v1.2.3