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