diff options
| author | David Aspinall | 1999-08-20 16:53:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 16:53:46 +0000 |
| commit | 6f59f23139118fbec70c409d94b79cec36845db9 (patch) | |
| tree | 1d02ab46da24ac45a061f82abaa30745ebd54fff /html | |
| parent | 8fb1f3775018e7ce66e2ba241cd467f9339a4fda (diff) | |
proof-goto-end-of-locked-if-pos-not-visible-in-window:
Check that there is active scripting buffer, in Isabelle there might not be.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions