coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[api] Move structures deprecated in the API to the core.	Emilio Jesus Gallego Arias	2017-11-06
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Removing Proof_type from the API.	Pierre-Marie Pédrot	2017-06-16
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
*	Fixing a source of inefficiency and an artificial dependency in the	Daniel de Rauglaudre	2016-04-08
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Protect code against changes in Map interface.	Maxime Dénès	2016-01-06
*	Univs: fix an evar leak in congruence	Matthieu Sozeau	2015-10-02
*	Update headers.	Maxime Dénès	2015-01-12
*	fix bug #2447 in congruence	Pierre Corbineau	2014-12-16
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Modulification of identifier	ppedrot	2012-12-14
*	Moved Intset and Intmap to Int namespace.	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Ccalgo, Ccproof: multiple generic Hashtbl on constr and term replaced by Cons...	puech	2011-07-29
*	Ccproof: generic equality on term replaced by term_equal	puech	2011-07-29
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20