aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/AsyncProofs.tex
Commit message (Expand)AuthorAge
* Improve the table of content of the reference manual.Gravatar Guillaume Melquiond2015-07-31
* Doc: Workers do check for guardedness before sending proofs backGravatar Enrico Tassi2015-06-17
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* typosGravatar Enrico Tassi2014-11-27
* coqworkmgrGravatar Enrico Tassi2014-09-02
* refman: document vi2voGravatar Enrico Tassi2014-02-26
* -schedule-vi-checking ported to spawnGravatar Enrico Tassi2014-01-26
* refman: fist stab at Asynchronous ProofsGravatar Enrico Tassi2014-01-05