diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 13:25:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-12 13:25:45 +0000 |
| commit | 71df53dce1f8b60058065f0f39b3d8219ef8475b (patch) | |
| tree | a37444a966c3daad08f273aa7da0c18eb7122e34 /generic | |
| parent | 9e3b1a60e0c1a47b16f83eaa428b693b58c94a26 (diff) | |
docstring magic
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 8b0ccc7a..187d7efa 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -94,10 +94,10 @@ the context. Set this variable to nil if you don't like this feature or if you find it unreliable. Notes: - - Toolbar enablers are only available with XEmacs 21 and later. - - With this variable nil, buttons do nothing when they would +* Toolbar enablers are only available with XEmacs 21 and later. +* With this variable nil, buttons do nothing when they would otherwise be disabled. - - If you change this variable it will only be noticed when you +* If you change this variable it will only be noticed when you next start Proof General." :type 'boolean :group 'proof-general) |