diff options
| author | David Aspinall | 2002-08-28 10:59:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 10:59:29 +0000 |
| commit | b74aae5c0b60dbd75ab89597131a1980951ed43a (patch) | |
| tree | 70a3283f0ff78f613555b7edc74b1c36ca048475 /hol98/example.sml | |
| parent | 7ccb0fc0e3945ec507de62c9094c58ca43555784 (diff) | |
Disable pop-up-frames for splash.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions