diff options
| author | David Aspinall | 1998-10-26 14:04:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-26 14:04:39 +0000 |
| commit | d858652f7fcd6f3a3da1b032ef879f508cfa5f49 (patch) | |
| tree | f526f88311120ac559304847d081f1a5ebae5052 /doc | |
| parent | cf8aa4c6f259562ac07d35102d3d07b0c4788288 (diff) | |
Moved proof-message to proof shell, renamed to proof-shell-message.
Removed redundant variables in proof-shell-popup-eager-annotation.
Fixed bug in proof-detach-segments called with optional argument
(but it's never used?)
Fixed bug in proof-issue-{goal,save} with function value for
proof-{goal,save}-command.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions