| Age | Commit message (Expand) | Author |
|---|
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2016-02-26 | Qcanon : implement some old suggestions by C. Auger | Pierre Letouzey |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-07-08 | Fixing bug #3270. Patch by Robbert Krebbers. | Pierre-Marie Pédrot |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2013-07-17 | More dynamic argument scopes | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2011-11-17 | Merge subinstances branch by me and Tom Prince. | msozeau |
| 2011-06-20 | Zcompare.destr_zcompare subsumed by case Z.compare_spec | letouzey |
| 2011-06-20 | Arithemtic: more concerning compare, eqb, leb, ltb | letouzey |
| 2011-05-05 | Modularization of BinInt, related fixes in the stdlib | letouzey |
| 2011-02-23 | BigQ : setting correct arguments scopes | letouzey |
| 2010-11-18 | Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits | 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-06-08 | Made option "Automatic Introduction" active by default before too many | herbelin |
| 2010-01-17 | BigN, BigZ, BigQ: presentation via unique module with both ops and props | letouzey |
| 2009-12-06 | Fix anomaly when using typeclass resolution with filtered hyps in evars. | msozeau |
| 2009-11-12 | BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504) | letouzey |
| 2009-11-10 | Simplification of Numbers, mainly thanks to Include | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-09 | Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements | letouzey |
| 2008-07-04 | Fix bug #1899: no more strange notations for Qge and Qgt | letouzey |
| 2008-06-30 | QMake : alternative equivalences with Qcanon thanks to earlier irreducibility... | letouzey |
| 2008-06-28 | QMake: Proofs that add_norm and other ..._norm functions produce irreducible ... | letouzey |
| 2008-06-25 | Some work on BigQ : | letouzey |
