| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-04-19 | Make `dot` be multiplication and add `dot.period` for periods (#747) | Alex Saveau |
| 2023-03-21 | Embed standard fonts in binaryv23-03-21-2 | Laurenz |
| 2023-02-02 | Math tests | Laurenz |
| 2023-01-31 | Make lowercase greek italic | Laurenz |
| 2023-01-29 | Fix inline math bounding box | Laurenz |
| 2023-01-29 | Fix tests | Laurenz |
| 2023-01-28 | Remove method call syntax kind | Laurenz |
| 2023-01-27 | Fix math spacing bugs | Laurenz |
| 2022-12-14 | Move highlighting into new IDE module | Laurenz |
| 2022-12-07 | Vectors and cases | Laurenz |
| 2022-12-06 | More math syntax | Laurenz |
