coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-18	Support locality attributes for Hint Rewrite (including export)	Gaëtan Gilbert
2020-09-16	Modify NArith/Nnat.v to compile with -mangle-names	Jasper Hugunin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-03-05	Merge PR #6855: Update headers following #6543.	Maxime Dénès
2018-03-02	Remove the deprecation for some 8.2-8.5 compatibility aliases.	Théo Zimmermann
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-10-01	Simpl less (so that cbn will not simpl too much)	Pierre Boutillier
2014-07-09	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey
2014-02-08	Less dependencies in Omega.	Pierre-Marie Pédrot
2012-12-21	nat_iter n f x -> nat_rect _ x (fun _ => f) n	pboutill
2012-08-08	Updating headers.	herbelin
2012-07-05	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey
2011-05-05	Modularisation of Znat, a few name changed elsewhere	letouzey
2011-05-05	Modularization of Nnat	letouzey
2010-11-18	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey
2010-11-10	Integer division: quot and rem (trunc convention) in addition to div and mod	letouzey
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-07-22	Better comparison functions in OrderedTypeEx	letouzey
2007-11-08	setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def.	letouzey
2007-09-20	Changed the definition of Nminus in BinNat.v by removing comparison.	emakarov
2007-07-18	A generic preprocessing tactic zify for (r)omega	letouzey
2007-06-07	Extension of NArith: Nminus, Nmin, etc	letouzey
2006-12-15	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir
2006-04-25	Un gros coup de lifting pour IntMap:	letouzey