summaryrefslogtreecommitdiff
path: root/lambda/translcore.ml
Commit message (Expand)AuthorAgeFilesLines
* PR#8934: used as a base for other PRspr8934Thomas Refis2019-09-111-1/+2
* PR#8908: used as a base for other PRs.pr8908Thomas Refis2019-09-111-4/+7
* Fix check-typosLeo White2019-05-241-5/+9
* Remove Misc.may_map and similarLeo White2019-05-231-2/+2
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-0/+1048