diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:30:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:30:27 +0000 |
| commit | bdb4317038e295f856dc24e0aced82b693b67a62 (patch) | |
| tree | edd2ba40ae3d3621ebc8556c29188cff51039f7c /INSTALL | |
| parent | 3eaaf39929b20b04c062aab72bb0e6ccf7968b8a (diff) | |
Customize also works in FSFmacs now
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 17 |
1 files changed, 12 insertions, 5 deletions
@@ -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 -> <Name of Assistant> + +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 |