diff options
author | Makarius Wenzel <makarius@sketis.net> | 2010-12-08 20:45:44 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2010-12-08 20:45:44 +0000 |
commit | ccf5a73bb63641ad12c25b607db2be0cbd95bf77 (patch) | |
tree | 84239390e61f782ab1ddb3be9286228ebf08fbf6 /AUTHORS | |
parent | 83aeac983ae37d7db34389bc42c4127aa97f4800 (diff) |
some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions