diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-20 16:28:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-20 16:28:57 +0000 |
commit | c259a2382c53d1194dffda453577b8e05ce3f553 (patch) | |
tree | da806a49d156ef0f97729fae8a1ec204026404ec | |
parent | 1ae048201b61b6f32f7c3b11af0525e3d5a35174 (diff) |
Fixes.
-rw-r--r-- | CHANGES | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -9,7 +9,7 @@ Generic Changes without the "Proof Process Busy" message. * New function C-c C-f (proof-find) to invoke some prover-specific - mechanism to search for theories. + mechanism to search for theorems. * Whenever scripting is triggered in a new file, a cd command is sent to the proof assistant to switch to the right directory @@ -23,7 +23,7 @@ Generic Changes Buttons are automatically enabled or disabled as appropriate. This requires XEmacs 21 or better for reliable working, so is disabled for earlier versions. - If do not like enablers, you can turn them off with + If you do not like enablers, you can turn them off with the new configuration variable proof-toolbar-use-enablers. With this variable nil, buttons do nothing when they otherwise be disabled. |