| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | PR#5933 type-specialize 'let compare = compare' on ints and strings | Gabriel Scherer | 2013-03-19 | 2 | -2/+2 |
| * | whitespace, non-ascii chars, some missing headers | Damien Doligez | 2012-10-17 | 3 | -0/+36 |
| * | clean up TABs and whitespace | Damien Doligez | 2012-07-30 | 2 | -4/+2 |
| * | More efficient implementation of {Set,Map}.{filter,partition} | Xavier Leroy | 2012-01-16 | 5 | -0/+246 |
