Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | STM: primitives to snapshot a .vi while in interactive mode | 2014-10-13 | ||
* | A marshalling failure does not make a worker `Old | 2014-09-09 | ||
* | coqworkmgr | 2014-09-02 | ||
* | Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding errors in | 2014-08-26 | ||
* | STM: new "par:" goal selector, like "all:" but in parallel | 2014-08-05 | ||
* | STM: code restructured to reuse task queue for tactics | 2014-08-05 |