coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Faster and cleaner fconstr-to-constr conversion function.	Pierre-Marie Pédrot	2018-06-17
*	Simplify the newring hack.	Pierre-Marie Pédrot	2018-05-21
*	[api] Deprecate a couple of aliases that we missed.	Emilio Jesus Gallego Arias	2018-03-28
*	Merge PR #6769: Split closure cache and remove whd_both	Maxime Dénès	2018-03-09
\|\
* \|	Replace invalid tag @raises in ocamldoc comments with @raise	mrmr1993	2018-03-05
\| *	Pass the constant cache as a separate argument in kernel reduction.	Pierre-Marie Pédrot	2018-03-04
* \|	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	Merge PR #6685: Use whd-all on rigid-flex conversion.	Maxime Dénès	2018-02-07
\|\
\| *	Respect the transparent state of the current conversion on strong weak-head.	Pierre-Marie Pédrot	2018-02-05
* \|	kernel: cleanup projection unfolding	Gaëtan Gilbert	2018-02-02
\|/
*	[api] Remove aliases of `Evar.t`	Emilio Jesus Gallego Arias	2017-11-26
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias	2017-11-06
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Added support for a side effect on constants in reduction functions.	Thomas Sibut-Pinote	2017-06-04
*	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03