coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'master' into econstr	Pierre-Marie Pédrot	2017-04-07
\|\
\| *	Merge PR#508: Optimize pending evars	Maxime Dénès	2017-04-06
\| \|\
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\\| \|
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\| * \|	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| * \|	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/ /
\| *	Ensuring static invariants about handling of pending evars in Pretyping.	Pierre-Marie Pédrot	2017-03-23
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-22
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15