coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR#719: Constrexpr.Numeral without bigint	Maxime Dénès	2017-06-15
\|\
* \	Merge PR#513: A fix to #5414 (ident bound by ltac names now known for "match").	Maxime Dénès	2017-06-14
\|\ \
\| \| *	Constrexpr.Numeral stays uninterpreted (string+sign instead of BigInt.t)	Pierre Letouzey	2017-06-14
* \| \|	Dualize the unsafe flag of refine into typecheck and make it mandatory.	Pierre-Marie Pédrot	2017-06-13
\| \|/ \|/\|
* \|	Merge PR#718: API cleanup: aliases	Maxime Dénès	2017-06-12
\|\ \
* \| \|	Remove remaining vo.itarget files (obsolete since PR #499)	Pierre Letouzey	2017-06-10
\| * \|	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
\|/ /
\| *	A fix to #5414 (ident bound by ltac names now known for "match").	Hugo Herbelin	2017-06-09
\|/
*	Put "ssreflect" behind "API".	Matej Košík	2017-06-07
*	Merge the ssr plugin.	Maxime Dénès	2017-06-06