| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #13715 (#13716) | Arne Döring | 2020-03-22 | 1 | -1/+1 |
| * | fix several bugs with `repr` (#13386) | Timothee Cour | 2020-02-11 | 1 | -2/+1 |
| * | fix tests | Timothee Cour | 2019-07-08 | 1 | -1/+1 |
| * | make typeToString sane for sequence again | Andreas Rumpf | 2019-02-25 | 1 | -1/+1 |
| * | fixes #8434 (incomplete info in errmsg about 'required type') (#8441) | skilchen | 2018-07-30 | 1 | -0/+16 |