Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
* | error messages: use de bruijn indices to disambiguate names | Florian Angeletti | 2023-01-02 | 1 | -0/+6 |
* | Hint: redefinition of types in toplevel sessions | Florian Angeletti | 2019-07-31 | 1 | -0/+40 |