summaryrefslogtreecommitdiff
path: root/utils/diffing.mli
Commit message (Expand)AuthorAgeFilesLines
* Tweaks to the documentationJules Aguillon2022-01-281-2/+1
* odoc: Fix syntax errors in commentsJules Aguillon2022-01-281-1/+1
* TyposJPR2021-08-261-2/+2
* Functorized diffing (with improved documentation) (#4)Florian Angeletti2021-06-221-53/+72
* swaps and movesFlorian Angeletti2021-06-221-2/+12
* diffing: define few common functionsFlorian Angeletti2021-06-221-0/+7
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-0/+112