coq - The formal proof system

Age	Commit message (Expand)	Author
2016-06-18	Giving a more natural semantics to injection by default.	Hugo Herbelin
2016-03-04	Making parentheses mandatory in tactic scopes.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-12-07	Fix some typos.	Guillaume Melquiond
2015-01-12	Update headers.	Maxime Dénès
2014-10-27	Fix some typos in comments.	Guillaume Melquiond
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2014-02-08	Less dependencies in Omega.	Pierre-Marie Pédrot
2012-08-08	Updating headers.	herbelin
2012-07-05	Kills the useless tactic annotations "in \|- *"	letouzey
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2011-06-28	Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def	letouzey
2011-05-05	BinInt: Z.add become the alternative Z.add'	letouzey
2011-05-05	Setoid_ring: some cleanups related with BinPos and BinNat	letouzey
2011-05-05	Modularization of BinPos + fixes in Stdlib	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
2010-09-20	Added eta-expansion in kernel, type inference and tactic unification,	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-02-10	Euclidean division for NArith	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