diff options
| author | Healfdene Goguen | 1998-05-08 17:10:11 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-08 17:10:11 +0000 |
| commit | 93fd0885cfa1679cc0e7231c0e4d4ebb188e4b05 (patch) | |
| tree | dbbf223108386e34708a56e89bb79d09c351bce1 /script-management.texinfo | |
| parent | 4a2fd039c1168773576b88f344dc85286fa51bbd (diff) | |
Made separated indentation more elegant:
Made proof-assistant specific code into separate procedure,
proof-parse-indent.
Separated consideration of {}'s so it only happens for LEGO.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions