diff options
| author | Makarius Wenzel | 2007-10-18 13:34:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-10-18 13:34:55 +0000 |
| commit | 4cd289bbc860071a6b8e125afa8e7c47f05d5357 (patch) | |
| tree | 69ae87a83d7a1b37093e0802510a35438b70b46a /generic | |
| parent | b8aa90130cf57a8aa6b9e38c798350ee3032efff (diff) | |
isar-find-and-forget: no special treatment of begin/end, just plain undo
(in Isabelle2005 this will produce repeated errors after end-of-theory;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions