diff options
| author | David Aspinall | 1999-09-21 15:36:39 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 15:36:39 +0000 |
| commit | 9d1bf8b956e4a2f9e7aa56680104f25c5c474f01 (patch) | |
| tree | 2d08b4f7390adfe804aef6aa3919ad81c73504cc /isa/Example.thy | |
| parent | 771fb3ec1d8666286522e397dd6aabdf053c6cb2 (diff) | |
proof-shell-grab-lock runs proof-state-change-hook.
This results in some flickering of the toolbar (buttons disabled while
region is pink), but is The Right Thing.
Removed "Inferior" from buffer names.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions