diff options
| author | David Aspinall | 2002-03-21 15:21:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 15:21:12 +0000 |
| commit | f09828b4a6b0276d4a694c0d67f8466c13a63670 (patch) | |
| tree | e574369c3c26beb503480eeecc160f38b89c1582 /hol98/example.sml | |
| parent | 570a748667bea41c5e4229e1aacb93a473a9144c (diff) | |
Added activations for frame/window controls.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions