coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#582: Fix warnings	Maxime Dénès	2017-05-02
\|\
* \	Merge PR#531: Fixing bug #5420 and many similar bugs due to the presence of l...	Maxime Dénès	2017-04-28
\|\ \
\| \| *	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
\|\ \
\| \| *	Fixing #5420 as well as many related bugs due to miscounting let-ins.	Hugo Herbelin	2017-04-09
\| \| *	Fixing several wrong computations of implicit arguments by position	Hugo Herbelin	2017-04-09
\| \| *	Minor cosmetic commit.	Hugo Herbelin	2017-04-09
* \| \|	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