coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	-async-proofs-delegation-threshold default value set to 0.03	Enrico Tassi	2016-06-14
\| \| \| \|	Documentation also updated.
*	Documentation	Enrico Tassi	2016-06-07
\|
*	Improve the table of content of the reference manual.	Guillaume Melquiond	2015-07-31
\| \| \| \| \|	Also remove AsyncProofs.tex from the list of preprocessed files, as it is doubtful it will ever contains Coq scripts.
*	Doc: Workers do check for guardedness before sending proofs back	Enrico Tassi	2015-06-17
\|
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-08
\|
*	rename: vi -> vio	Enrico Tassi	2015-01-06
\|
*	typos	Enrico Tassi	2014-11-27
\|
*	coqworkmgr	Enrico Tassi	2014-09-02
\|
*	refman: document vi2vo	Enrico Tassi	2014-02-26
\|
*	-schedule-vi-checking ported to spawn	Enrico Tassi	2014-01-26
\|
*	refman: fist stab at Asynchronous Proofs	Enrico Tassi	2014-01-05