diff options
| author | Healfdene Goguen | 1998-05-08 15:36:41 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-08 15:36:41 +0000 |
| commit | 14534e7e31ae6732e4c7712a7e88b7cff3943181 (patch) | |
| tree | 48072d5cbdece16cfc6bf603c197bb4bcb1a0a31 /script-management.texinfo | |
| parent | c33b9457bd0b30abda0bb99748da4364fd2697a8 (diff) | |
Merged indentation code for LEGO and Coq into proof.el.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions