diff options
| author | Cyril Cohen | 2019-06-17 15:00:07 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | f0e9ca0a160fd11716cc759cab8c6cbcbf20a32d (patch) | |
| tree | cae23c3e6b3d6855f34390b728b0440f7d7afb8c /mathcomp/character | |
| parent | ebd828b4939f105d7ea7d7bb950b5dcfd6887981 (diff) | |
Fixes in naming, mixins, doc and canonical ordering
- comparer -> compare (in order.v)
- eq constructor of compare goes last
- "x < y" is matched before "x > y"
- "x <= y" is matched before "x >= y"
- adding prod and lexi ordering on tuple
- adding missing CS
- edit CHANGELOG
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions