| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Tweaks to the documentation | Jules Aguillon | 2022-01-28 | 1 | -2/+1 |
| * | odoc: Fix syntax errors in comments | Jules Aguillon | 2022-01-28 | 1 | -1/+1 |
| * | Typos | JPR | 2021-08-26 | 1 | -2/+2 |
| * | Functorized diffing (with improved documentation) (#4) | Florian Angeletti | 2021-06-22 | 1 | -53/+72 |
| * | swaps and moves | Florian Angeletti | 2021-06-22 | 1 | -2/+12 |
| * | diffing: define few common functions | Florian Angeletti | 2021-06-22 | 1 | -0/+7 |
| * | Semantic diffings for functor types and applications (#9331) | Gabriel Radanne | 2021-04-07 | 1 | -0/+112 |
