| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-06-14 | -async-proofs-delegation-threshold default value set to 0.03 | Enrico Tassi | |
| Documentation also updated. | |||
| 2016-06-07 | Documentation | Enrico Tassi | |
| 2015-07-31 | Improve 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-17 | Doc: Workers do check for guardedness before sending proofs back | Enrico Tassi | |
| 2015-01-08 | Fix some documentation typos. | Guillaume Melquiond | |
| 2015-01-06 | rename: vi -> vio | Enrico Tassi | |
| 2014-11-27 | typos | Enrico Tassi | |
| 2014-09-02 | coqworkmgr | Enrico Tassi | |
| 2014-02-26 | refman: document vi2vo | Enrico Tassi | |
| 2014-01-26 | -schedule-vi-checking ported to spawn | Enrico Tassi | |
| 2014-01-05 | refman: fist stab at Asynchronous Proofs | Enrico Tassi | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |