coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-04
\|\
\| *	Merge branch 'move-compat-notations' of https://github.com/JasonGross/coq int...	Pierre Letouzey	2016-05-04
\| \|\
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-04-09
\|\\| \|
\| * \|	Added compatibility coercions from Specif.v which were present in Coq 8.4.	Hugo Herbelin	2016-04-08
\| * \|	Add -compat 8.4 econstructor tactics, and tests	Jason Gross	2016-04-05
\| * \|	Fix bug #4656	Jason Gross	2016-04-05
\| * \|	Update Coq84.v	Jason Gross	2016-04-04
\| * \|	Add compatibility Nonrecursive Elimination Schemes	Jason Gross	2016-04-04
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\| \|
\| * \|	Update copyright headers.	Maxime Dénès	2016-01-20
\| \| *	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