diff options
| author | David Aspinall | 2008-07-05 14:13:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-05 14:13:54 +0000 |
| commit | 170973824f698d28c9891058dde929e1ce4bac11 (patch) | |
| tree | 118be0e01dd224a37eeaa9f093ae0b019ef619f6 /hol98/example.sml | |
| parent | 41fc4493a96c8a66971d293b557ba9903bf9c053 (diff) | |
Add customization for use of image converter, default to disable.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions