| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove hash type encoding | Hyunggyu Jang | 2022-11-09 | 1 | -4/+4 |
| * | Don't repeat environment entries in Typemod.check_type_decl | Leo White | 2021-09-23 | 1 | -1/+1 |
| * | Typos | JPR | 2021-06-06 | 1 | -1/+1 |
| * | signature_group review: more symmetric interface | octachron | 2021-05-12 | 1 | -3/+2 |
| * | review: with_constraints delete or replace one item | Florian Angeletti | 2021-05-11 | 1 | -4/+8 |
| * | signature_group review: next + unfold | Florian Angeletti | 2021-05-11 | 1 | -61/+50 |
| * | Signature_group: replace_in_place | octachron | 2021-05-06 | 1 | -0/+47 |
| * | Signature_group: ghost-aware iteration over signatures | octachron | 2021-05-06 | 1 | -0/+116 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |