diff options
| author | David Aspinall | 2009-12-02 22:46:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-02 22:46:08 +0000 |
| commit | 4847bd777971f54a7dae406f5c6d0b258765df13 (patch) | |
| tree | 77a97ce52b9055f13380f802b4aa4f687309dc4d /isar/Example.thy | |
| parent | 028c7f711a944bc0c86a0946cea86f087d8ce2a9 (diff) | |
Add proof-sticky-errors to quick options menu.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions