coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	Removing tactic compatibility layer in Command.	Pierre-Marie Pédrot	2017-04-24
*	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
*	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
*	Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...	Maxime Dénès	2017-04-12
\|\
* \	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
\|\\| \| \|
* \| \| \|	Actually exporting delayed universes in the EConstr implementation.	Pierre-Marie Pédrot	2017-04-01
* \| \| \|	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
\| * \| \|	Renaming local_binder into local_binder_expr.	Hugo Herbelin	2017-03-24
\| * \| \|	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\|/ / /
\| \| *	Improving the API of constrexpr_ops.mli.	Hugo Herbelin	2017-03-23
\| \|/ \|/\|
\| *	Ensuring static invariants about handling of pending evars in Pretyping.	Pierre-Marie Pédrot	2017-03-23
\|/
*	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15