coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Deprecate a couple of aliases that we missed.	Emilio Jesus Gallego Arias	2018-03-28
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[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
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
*	Removing various compatibility layers of tactics.	Pierre-Marie Pédrot	2017-02-14
*	Cbv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Modulification of name	ppedrot	2012-12-18
*	Updating headers.	herbelin	2012-08-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	fixed CBV strategy: it was too eager on terms like	barras	2009-04-21
*	pushed evar reduction in kernel	barras	2009-02-06
*	subst. explicites avec vecteurs	barras	2006-05-09
*	Nouvelle en-tête	herbelin	2004-07-16
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	GROS COMMIT:	barras	2001-11-05
*	Suppression des arguments sur les constantes, inductifs et constructeurs	barras	2001-10-09
*	Nettoyage/restructuration des ensembles d'indicateurs de réductions	herbelin	2001-07-02
*	entetes	filliatr	2001-03-15
*	nouvelle implantation de la reduction	barras	2001-03-01