coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| \| *	Update Coq84.v	Jason Gross	2016-01-12
\| \|_\|/ \|/\| \|
\| \| *	Move compatibility notations to their proper files	Jason Gross	2015-12-29
\| \|/
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-15
\|\\|
\| *	Moved proof_admitted to its own file, named "AdmitAxiom.v".	Maxime Dénès	2015-12-14
* \|	Updating Compat85.v after bd1c97653 on bracketing last or-and	Hugo Herbelin	2015-11-10
\|/
*	Update compatibility file for some of bug #4392	Jason Gross	2015-11-03
*	Add compatibility files (feature 4319)	Jason Gross	2015-09-30