diff options
| author | Makarius Wenzel | 2006-10-11 20:06:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-10-11 20:06:18 +0000 |
| commit | 99527585d02e4470ba70497973e074bb4a4b6b77 (patch) | |
| tree | 5ed17a5ee2c4088645cdc5cef7f7d74869b752c5 /isa/Example.thy | |
| parent | 5c75af0dd3d5341a3e3d93818bf61a015727392e (diff) | |
isar-keywords-indent-enclose: include "begin" keyword;
removed obsolete kill/undo-kill-regexp;
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions