| Age | Commit message (Expand) | Author |
|---|
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2016-03-04 | Making parentheses mandatory in tactic scopes. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-09-27 | Keyed unification option, compiling the whole standard library | Matthieu Sozeau |
| 2014-08-25 | "allows to", like "allowing to", is improper | Jason Gross |
| 2013-07-17 | More dynamic argument scopes | letouzey |
| 2012-12-18 | Rework of GenericMinMax and OrdersTac (helps extraction, cf. #2904) | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2011-02-23 | BigQ : setting correct arguments scopes | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-01-18 | More improvements of BigN, BigZ, BigQ: | letouzey |
| 2010-01-17 | BigN, BigZ, BigQ: presentation via unique module with both ops and props | letouzey |
| 2009-12-18 | RelationPairs: stop loading it in all Numbers, stop maximal args with fst/snd | letouzey |
| 2009-11-30 | Fix backtracking heuristic in typeclass resolution. | msozeau |
| 2009-11-12 | BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504) | letouzey |
| 2009-11-12 | Repair interpretation of numeral for BigQ, add a printer (close #2160) | letouzey |
| 2009-11-06 | Numbers: more (syntactic) changes toward new style of type classes | letouzey |
| 2008-07-04 | Fix bug #1899: no more strange notations for Qge and Qgt | letouzey |
| 2008-06-25 | Some work on BigQ : | letouzey |
| 2008-06-01 | BigQ: starting to create and use an interface QSig | letouzey |
| 2008-05-15 | Coq headers + $ in theories/Numbers files | letouzey |
| 2008-05-07 | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey |
