diff options
author | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 16:06:52 +0000 |
---|---|---|
committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-09-13 16:06:52 +0000 |
commit | aeec3d3fa3c5014cbec45f3eefc0889cd1793a62 (patch) | |
tree | d90d4b631d06bfde2d5b9479dc8fd1b1d2d4a2a8 /checker/cic.mli | |
parent | 4918be7d31c680527dff6cc0b9925a74257e0789 (diff) |
When Coq is reset-initialed by CoqIDE, do reset jobs counters
Coq is not going to send any feedback message for the
brute-force canceled jobs, given that the process was killed.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16780 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/cic.mli')
0 files changed, 0 insertions, 0 deletions