diff options
| author | David Aspinall | 2009-07-30 11:57:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-07-30 11:57:12 +0000 |
| commit | 624fd955e0a5807c2980674f635109e66efdc40f (patch) | |
| tree | 370c65ff6da047862928249940c3aaa5d1bf88cf /hol98/example.sml | |
| parent | c4c8e228283ac7ab1d6d1973d4735cb0afb94ed3 (diff) | |
Use descriptions of help items to set menu tooltips (resolve trac #218)
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions