coq - The formal proof system

Age	Commit message (Expand)	Author
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-14	Add relevance marks on binders.	Gaëtan Gilbert
2018-06-04	Merge PR #7216: Replace uses of Termops.dependent by more specific functions.	Matthieu Sozeau
2018-05-30	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias
2018-04-10	Replace uses of Termops.dependent by more specific functions.	Pierre-Marie Pédrot
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-17	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-06-10	Remove (useless) aliases from the API.	Matej Košík
2017-06-07	Put all plugins behind an "API".	Matej Kosik
2017-04-24	Porting the firstorder plugin to the new tactic API.	Pierre-Marie Pédrot
2017-02-14	Removing some return type compatibility layers in Termops.	Pierre-Marie Pédrot
2017-02-14	Reductionops now return EConstrs.	Pierre-Marie Pédrot
2017-02-14	Eliminating parts of the right-hand side compatibility layer	Pierre-Marie Pédrot
2017-02-14	Reductionops API using EConstr.	Pierre-Marie Pédrot
2017-02-14	Termops API using EConstr.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2013-10-24	More monomorphic List.mem + List.assoc + ...	letouzey
2013-10-24	Turn many List.assoc into List.assoc_f	letouzey
2013-09-27	Removing a bunch of generic equalities.	ppedrot
2013-04-29	Splitting Term into five unrelated interfaces:	ppedrot
2013-03-23	Minor code cleaning in CArray / CList.	ppedrot
2012-12-14	Moved Intset and Intmap to Int namespace.	ppedrot
2012-11-13	More monomorphizations	ppedrot
2012-09-14	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot
2012-09-14	This patch removes unused "open" (automatically generated from	regisgia
2012-08-08	Updating headers.	herbelin
2012-03-02	Noise for nothing	pboutill
2011-07-29	Unify: generic equality on constr replaced by eq_constr	puech
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey