coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \|	CClosure.unfold_projection: don't catch Not_found, assume env is ok	Gaëtan Gilbert	2018-02-02
* \|	kernel: cleanup projection unfolding	Gaëtan Gilbert	2018-02-02
\|/
*	Share the rel environment between Environ.env and reduction cache.	Pierre-Marie Pédrot	2017-12-29
*	[api] Also deprecate constructors of Decl_kinds.	Emilio Jesus Gallego Arias	2017-12-23
*	[api] Remove aliases of `Evar.t`	Emilio Jesus Gallego Arias	2017-11-26
*	Make some functions on terms more robust w.r.t new term constructs.	Maxime Dénès	2017-11-23
*	[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
*	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
*	Missing optimization when Kernel Term Sharing is disabled.	Pierre-Marie Pédrot	2017-04-12
*	Optimizing array mapping in the kernel.	Pierre-Marie Pédrot	2017-02-19
*	Fast access environment in CClosure.	Pierre-Marie Pédrot	2016-09-09
*	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03