| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | STM: primitives to snapshot a .vi while in interactive mode |  Enrico Tassi | 2014-10-13 | |
| | | ||||
| * | A marshalling failure does not make a worker `Old | Enrico Tassi | 2014-09-09 | |
| | | ||||
| * | coqworkmgr | Enrico Tassi | 2014-09-02 | |
| | | ||||
| * | Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding errors in |  Matthieu Sozeau | 2014-08-26 | |
| | | | | | stm test-suite files. | |||
| * | STM: new "par:" goal selector, like "all:" but in parallel | Enrico Tassi | 2014-08-05 | |
| | | | | | | par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2). | |||
| * | STM: code restructured to reuse task queue for tactics | Enrico Tassi | 2014-08-05 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |