coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[build] Build Coq and plugins with `-strict-sequence`	Emilio Jesus Gallego Arias	2018-07-14
*	Remove dead code from funind.	Maxime Dénès	2018-01-24
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Merge branch v8.6 into trunk	Hugo Herbelin	2017-04-22
\|\
\| *	Solving first problem in bug #4306. TO DO : solve the let in problem	Julien Forest	2017-04-04
* \|	Funind API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\|/
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Modulification of identifier	ppedrot	2012-12-14
*	New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr	letouzey	2012-05-29
*	New version of recdef :	jforest	2012-03-01