| Age | Commit message (Expand) | Author |
|---|
| 2021-04-02 | Remove the omega tactic and related options | Jim Fehrle |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-10-22 | Zcomplements: do not use “omega” | Vincent Laporte |
| 2019-07-26 | [stdlib] Remove deprecated module Zlogarithm | Vincent Laporte |
| 2019-06-17 | Update ml-style headers to new year. | 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 |
| 2012-08-08 | Updating headers. | herbelin |
| 2011-06-28 | Deletion of useless Zdigits_def | letouzey |
| 2011-06-28 | Deletion of useless Zlog_def | letouzey |
| 2011-06-28 | Deletion of useless Zsqrt_def | letouzey |
| 2011-06-28 | Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def | letouzey |
| 2011-06-24 | Clean-up of Znumtheory, deletion of Zgcd_def | 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-05 | Numbers: axiomatization, properties and implementations of gcd | letouzey |
| 2010-11-02 | Numbers : log2. Abstraction, properties and implementations. | letouzey |
| 2010-10-19 | Add sqrt in Numbers | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-02-09 | Numbers: properties of min/max with respect to 0,S,P,add,sub,mul | letouzey |
| 2010-02-09 | ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType | letouzey |
| 2006-10-05 | Arith NArith et ZArith exportent ring + nettoyage dans Ring_polynom | barras |
| 2004-08-03 | Zbool déjà dans ZArith_base | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2002-06-20 | ZArith_base, Zbool, Bool_nat | filliatr |
| 2002-02-14 | option -dump-glob pour coqdoc | filliatr |
| 2001-05-31 | Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l... | herbelin |
| 2001-04-19 | remplace Zarith par ZArith | mohring |
