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/cbytecodes.ml | |
| parent | 4f640bb24dfc45699670f41441355cdf71c83130 (diff) | |
CoqIDE: STOP button also stops workers (fix #4542)
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions