| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-29 | HTML highlighting | Laurenz |
| 2023-01-27 | Tracing-based expression tooltips | Laurenz |
| 2022-12-27 | Bugfixes | Laurenz |
| 2022-12-14 | Basic autocompletion | Laurenz |
| 2022-12-14 | Hover tooltips | Laurenz |
| 2022-12-14 | Move highlighting into new IDE module | Laurenz |
