diff options
| author | Makarius Wenzel | 2000-06-08 19:44:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:44:12 +0000 |
| commit | 16ec26fb7f102aa37c9546d95f0f61109699a6be (patch) | |
| tree | e1b5324289080961a66c56f98c00b6ab13d35173 /hol98/example.sml | |
| parent | fcb6f0745c966fe600fc5b54ef8a21ca2944c228 (diff) | |
Improved indentation code; enabled by default;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions