diff options
| author | David Aspinall | 2011-01-25 09:55:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-25 09:55:05 +0000 |
| commit | 712d2742e1efe090bca19e6ef81a16186f71bbdb (patch) | |
| tree | fd0d1450449b4f02bab2d187194226a761a5a7cb /generic/proof-script.el | |
| parent | 6cf2b829885ffbc482b7279a24bb3663d5349c02 (diff) | |
Remove proof-shell-wait that causes deadlock with new multiple-file code.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions