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