diff options
| author | Healfdene Goguen | 1998-05-08 17:09:13 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-08 17:09:13 +0000 |
| commit | 4a2fd039c1168773576b88f344dc85286fa51bbd (patch) | |
| tree | 7749cf9e7b0e31c3d0756b6d0eff0b14d6496ab1 /proof.el | |
| parent | 8a5741f228fe53decdf7f49566850f40e8001c68 (diff) | |
Made separated indentation more elegant.
Separated consideration of {}'s so it only happens for LEGO.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions