diff options
| author | David Aspinall | 2000-05-29 15:47:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:47:21 +0000 |
| commit | 57f456593a4de60e177e43121b289266f58424a2 (patch) | |
| tree | b39912c41be8a1bf50d97122d2e448f993865b9e /hol98/example.sml | |
| parent | cb4d180feeebba2989ed6e0d586850730e105311 (diff) | |
Additions to font lock on output
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions