From bdb4317038e295f856dc24e0aced82b693b67a62 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 12 Oct 1998 12:30:27 +0000 Subject: Customize also works in FSFmacs now --- INSTALL | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index a58ea3b8..05b570e3 100644 --- a/INSTALL +++ b/INSTALL @@ -24,14 +24,21 @@ if you're using Coq, don't edit .ML files! If there are some assistants supported that you never want to use, you can remove them from the variable `proof-assistants` in proof-site.el to solve this problem. -In XEmacs, you can do this (and most other customization of Proof -General) via the Customize mechanism, see the menu: +The easiest way to do this (and most other customization of Proof +General) is via the Customize mechanism, see the menu: Options -> Customize -> Emacs -> External -> Proof General -Further customization may be needed depending on the proof assistant -(for example, the name of the proof assistant binary). See the -entries below for more notes. +or, after loading Proof General, in a proof script buffer + + Proof-General -> Customize + +You may need extra customization depending on the proof assistant (for +example, the name of the proof assistant binary). See the menu + + Proof-General -> Customize -> + +and the notes below for more details. If you are installing Proof General site-wide, you can put the components in separate directories, providing the variables in -- cgit v1.2.3