| Age | Commit message (Expand) | Author |
|---|
| 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-09-11 | Merge PR #7135: Introducing an explicit `Declare Scope` command | Emilio Jesus Gallego Arias |
| 2018-09-10 | Adapting standard library to the introduction of "Declare Scope". | Hugo Herbelin |
| 2018-08-10 | one more fix to formulation of the Euclid Theorem in comment | Samuel Gruetter |
| 2018-08-09 | fix formulation of the Euclid Theorem in comment | Samuel Gruetter |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-26 | Merge PR #845: Add Z.mod_div lemma to standard library. | Maxime Dénès |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-06-29 | Add Z.mod_div lemma to standard library. | Russell O'Connor |
| 2016-09-28 | ZDivEucl: notations in different scope to avoid a warning | Pierre Letouzey |
| 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 |
| 2012-08-08 | Updating headers. | herbelin |
| 2011-08-11 | SearchAbout and similar: add a customizable blacklist | letouzey |
| 2011-06-24 | Numbers: a particular case of div_unique | letouzey |
| 2011-06-24 | Numbers: change definition of divide (compat with Znumtheory) | letouzey |
| 2011-03-10 | ZBits,ZdivEucl,ZDivFloor: a few lemmas with weaker preconditions | letouzey |
| 2010-12-06 | Numbers and bitwise functions. | letouzey |
| 2010-11-10 | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey |
| 2010-11-02 | Numbers: NZPowProp as a Module Type, some module variable renaming | letouzey |
| 2010-10-14 | Numbers: new functions pow, even, odd + many reorganisations | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-01-29 | Division in numbers: kills some Include to avoid bad alias Zsucc = ZDiv.Z.Z'.S | letouzey |
| 2010-01-08 | Numbers: axiomatization + generic properties of abs and sgn. | letouzey |
| 2010-01-07 | Numbers: separation of funs, notations, axioms. Notations via module, without... | letouzey |
| 2010-01-06 | "by" becomes officially a reserved keyword of Coq (fixes "rewrite ... at ... ... | letouzey |
| 2010-01-05 | Numbers abstract layer: more Module Type, used especially for divisions. | letouzey |
| 2010-01-05 | Division in Numbers: proofs with less auto (less sensitive to hints, in parti... | letouzey |
| 2010-01-05 | Division in Numbers: factorisation of signatures | letouzey |
| 2010-01-04 | Specific syntax for Instances in Module Type: Declare Instance | letouzey |
| 2009-12-17 | Division in Numbers : more properties, new filenames based on a paper by R. B... | letouzey |
