| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | execution of int division by class semiring_numeral_div, replacing pdivmod by divmod_abs | file | diff | annotate |