diff options
| author | Pierre Courtieu | 2011-06-04 18:12:40 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-06-04 18:12:40 +0000 |
| commit | 70c0f448f72b23f00b6b126caec2ca7fae195902 (patch) | |
| tree | dc2fbed234770d3bc6c8497828d7ba39a3b70ad0 /etc | |
| parent | 546ceb7e75baf7be2ab170781869a4deea1bfa9c (diff) | |
Updated the old code for indentation, in case Stefan cannot finish the
new one for the release. Added also support for an experimental syntax
modification: { .. } is a new syntax for Beginsubproof. ...
EndSubproof. There a also few minor behavior changes. The code has
changed a lot though.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions