aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/AsyncProofs.tex
Commit message (Expand)AuthorAge
* update PNGs; mention async error handling; change query window to query pane;...Gravatar Paul Steckler2018-01-03
* Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
* Merge PR #932: Fix shuffled documentation.Gravatar Maxime Dénès2017-08-01
|\
| * Fix shuffled documentation.Gravatar Guillaume Melquiond2017-07-28
* | disable async on Windows by defaultGravatar Paul Steckler2017-06-26
|/
* -async-proofs-delegation-threshold default value set to 0.03Gravatar Enrico Tassi2016-06-14
* DocumentationGravatar Enrico Tassi2016-06-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:34:45 +0000