diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 22:51:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 22:51:08 +0000 |
commit | 3160b7ed3fd325c0ae3ea41dc9aeded97556a2ed (patch) | |
tree | 8ab2a3a61e26641cd20e34dc92b90022db330c2c /isar/isar.el | |
parent | d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b (diff) |
Re Trac #324:
proof-shell-wait: drastically reduce timeout, as some implementations
perhaps wait for full time even if process output is received.
Set process-adaptive-read-buffering to nil regardless of platform
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions