diff options
| author | Makarius Wenzel | 2000-06-08 19:45:59 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:45:59 +0000 |
| commit | 0ebffe5a142f157a9a8715221d9e167dd16484a6 (patch) | |
| tree | 1dfa243a23c4c625cc8d86c2d236fb01e89eb2b0 /hol98/example.sml | |
| parent | 8177e644bc6792bab7db9c384c89cd49edb9c21d (diff) | |
basic setup for new indentation code;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions