diff options
| author | Enrico Tassi | 2016-02-18 19:13:40 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-02-19 11:53:40 +0100 |
| commit | 37479c1b59b7492abb5c89a42c5a76d4cd9d48cd (patch) | |
| tree | 577e973a69941aef7ce20631dfbd74527a733815 /kernel/type_errors.mli | |
| parent | 4f640bb24dfc45699670f41441355cdf71c83130 (diff) | |
CoqIDE: STOP button also stops workers (fix #4542)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions