diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:56:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:56:05 +0000 |
commit | 80121654225ecfa56c39009df12af3bae3b895c0 (patch) | |
tree | 58724ee9f9cbd4409d974817d16886da10139e09 /CHANGES | |
parent | 5d60f79b6c6b48bc79d5ef121e8a3057cff29ca6 (diff) |
Updated
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -174,11 +174,8 @@ Internal changes for developers to note proof assistants which do not have an explicit save command now. See the documentation of proof-completed-proof-behaviour. -* Renamed some configuration variables for uniformity: - proof-ctxt-string -> proof-context-command - proof-help-string -> proof-info-command - proof-prf-string -> proof-showproof-command - proof-proof-general-home-page -> proof-general-home-page +* Renamed several configuration variables for uniformity. + Check the ChangeLog for details. * Speed optimizations for the proof-shell-filter, to attempt to give more CPU to a hungry and noisy proof process. |