| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-06-14 | -async-proofs-delegation-threshold default value set to 0.03 | Enrico Tassi |
| 2016-06-07 | Documentation | Enrico Tassi |
| 2015-07-31 | Improve the table of content of the reference manual. | Guillaume Melquiond |
| 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 |