Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade annotate-snippets version | Nadrieril | 2020-03-31 | 1 | -1/+1 |
* | Rework annotation and Sort handling | Nadrieril | 2020-02-13 | 1 | -1/+1 |
* | Remove most TyExpr from normalization | Nadrieril | 2020-02-09 | 1 | -2/+2 |
* | Move ui outputs to a sensible place | Nadrieril | 2020-02-09 | 1 | -0/+6 |