diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:14:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:14:26 +0000 |
| commit | a623f774917f6adc6eba47ad9c8c9d81b616bdad (patch) | |
| tree | b460c397300a75104cbaf483d447792c01edb929 /images/restart.8bit.xpm | |
| parent | 849787301bc064c4ed3a2f0a35afeeb519c61461 (diff) | |
Add sanity check on important settings for proof shell (underway)
Diffstat (limited to 'images/restart.8bit.xpm')
0 files changed, 0 insertions, 0 deletions