Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
* | MMaps: remove it from final 8.5 release, since this new library isn't mature ... | 2016-01-13 | |
* | MMapPositive: another implementation of MMaps | 2015-03-06 | |
* | Arith: full integration of the "Numbers" modular framework | 2014-07-09 | |
* | Modularization of BinInt, related fixes in the stdlib | 2011-05-05 | |
* | Modularization of BinNat + fixes of stdlib | 2011-05-05 | |
* | Integer division: quot and rem (trunc convention) in addition to div and mod | 2010-11-10 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | NPeano improved, subsumes NatOrderedType | 2010-02-09 | |
* | NBinary improved, contains more, subsumes NOrderedType | 2010-02-09 | |
* | ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType | 2010-02-09 | |
* | Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders* | 2010-01-07 |