diff options
| author | David Aspinall | 1998-12-10 10:55:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 10:55:57 +0000 |
| commit | 2b7e9b50aaabaafab78035e3a5ec05413d96b913 (patch) | |
| tree | be574f705cb9927ed2c858b1b02f69193646859f /isa/example.ML | |
| parent | 51ad1cdadcd31150760e8564b7539f210f98f287 (diff) | |
Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions