diff options
| author | Enrico Tassi | 2015-02-16 18:09:12 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-16 18:09:12 +0100 |
| commit | b4e077ec6b9266d0256419c2a105168f1bafe4b7 (patch) | |
| tree | f80d78dc03dde708833d5ae2956c480ca927914d /lib/errors.ml | |
| parent | ffe7fc6ff44ec94544123c47b3d01bdec05b3fe0 (diff) | |
STM: when async_proofs_full is set process only tasks in the perspective
This change fixes performance problems in PIDE based user interfaces
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions