diff options
| author | David Aspinall | 1998-11-09 18:17:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 18:17:08 +0000 |
| commit | 1044ec7dbc0335ae122fe062f79219ac310a4f09 (patch) | |
| tree | 85b00eb6591bee6abf846c992853f4167847307a /BUGS | |
| parent | 746c0cbf5c4ba0d718de33c74bb7c5fa50607123 (diff) | |
Added proof-script-indent user option, to enable indentation code.
Disabled by default. May be activated by particular proof assistants
if they feel confident about it. I don't.
Made proof-indent be autoloaded as needed. Lets pray it won't be.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions