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/goto.xbm | |
parent | 849787301bc064c4ed3a2f0a35afeeb519c61461 (diff) |
Add sanity check on important settings for proof shell (underway)
Diffstat (limited to 'images/goto.xbm')
0 files changed, 0 insertions, 0 deletions