| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-01-17 | Add term to ExistentialProjection | kadmin | -1/+3 |
| 2021-09-30 | Encode json files with UTF-8 | Hirochika Matsumoto | -1/+1 |
| 2021-02-08 | Make `header` a vec of modifiers, make FunctionPointer consistent with Functi... | Rune Tynan | -1/+1 |
| 2021-01-19 | Add jsondocck tool, and use it for rustdoc JSON | Rune Tynan | -0/+189 |
