aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/AsyncProofs.tex
AgeCommit message (Collapse)Author
2018-04-04[Sphinx] Move chapter 28 to new infrastructureMaxime Dénès
2018-01-03update PNGs; mention async error handling; change query window to query ↵Paul Steckler
pane; use color descriptions
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-08-01Merge PR #932: Fix shuffled documentation.Maxime Dénès
2017-07-28Fix shuffled documentation.Guillaume Melquiond
2017-06-26disable async on Windows by defaultPaul Steckler
2016-06-14-async-proofs-delegation-threshold default value set to 0.03Enrico Tassi
Documentation also updated.
2016-06-07DocumentationEnrico Tassi
2015-07-31Improve the table of content of the reference manual.Guillaume Melquiond
Also remove AsyncProofs.tex from the list of preprocessed files, as it is doubtful it will ever contains Coq scripts.
2015-06-17Doc: Workers do check for guardedness before sending proofs backEnrico Tassi
2015-01-08Fix some documentation typos.Guillaume Melquiond
2015-01-06rename: vi -> vioEnrico Tassi
2014-11-27typosEnrico Tassi
2014-09-02coqworkmgrEnrico Tassi
2014-02-26refman: document vi2voEnrico Tassi
2014-01-26-schedule-vi-checking ported to spawnEnrico Tassi
2014-01-05refman: fist stab at Asynchronous ProofsEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 08:20:05 +0000