diff options
| author | David Aspinall | 1999-09-21 14:31:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 14:31:09 +0000 |
| commit | 4cffebeb11d5b2f02a6c26a7f4d40a90181586fc (patch) | |
| tree | 8b1b2e746bc3dead3c8ed1625c0fccd8ee457714 /generic/proof-script.el | |
| parent | ccb6578324ca1c41340d532a32fc21036aee7576 (diff) | |
Callback for proof-shell-done-invisible now runs proof-state-change-hook.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions