diff options
| author | David Aspinall | 2011-01-25 09:51:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-25 09:51:41 +0000 |
| commit | 6cf2b829885ffbc482b7279a24bb3663d5349c02 (patch) | |
| tree | f1cacacec74443679a9bea6541e6c5a3afaa4200 /lib | |
| parent | 68068724fca9128a1a2dd55426347e17ca17a576 (diff) | |
proof-shell-kill-function: use our own busy loop, as proof-shell-wait
expects normal prover IO.
Addresses http://proofgeneral.inf.ed.ac.uk/trac/ticket/384
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions