diff options
| author | David Aspinall | 2000-05-09 10:15:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-09 10:15:14 +0000 |
| commit | 7cd66b9675f15e0c6d6edf54cd2ae20613338735 (patch) | |
| tree | d7a8da547d7332feb78a5b5a16915c9ec86a8e96 /isa/Example.ML | |
| parent | d2132386d2eaf85c43c576aadb71fd6efb20ab81 (diff) | |
Splash screen now shown from autoloaded function.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions