diff options
| author | David Aspinall | 2004-04-18 10:30:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-18 10:30:48 +0000 |
| commit | 7520e9addbee01ee94d587f2f2c2be969356f0bc (patch) | |
| tree | c0ec82608120752bb94071d2327b7832bc4a0312 /hol98/example.sml | |
| parent | c264d3ad09d0e7f5d25652e6805cf3f271396818 (diff) | |
Comment about menu layout.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions