diff options
| author | David Aspinall | 2009-05-26 13:21:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 13:21:18 +0000 |
| commit | 428235d44085f32f47557d921fbb2057a2996df2 (patch) | |
| tree | 51cdcbd71dab04162950513377a4f0971ef4676e /isar/Example.thy | |
| parent | 0510b934544e2f46e60e051a4f83eec5f11b8676 (diff) | |
proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey
proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions