diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:32:06 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 12:32:06 +0000 |
| commit | d44ae69502e825036daba4773b84c8ccfdcab9e3 (patch) | |
| tree | 90abbe1e4d75a909ea3b69b85c306755e64a52af /INSTALL | |
| parent | bdb4317038e295f856dc24e0aced82b693b67a62 (diff) | |
added note about Emacs versions
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |