| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-07-02 | Move everything into `crates/` directory | Laurenz |
| 2023-06-06 | Improve value casting infrastructure | Laurenz |
| 2023-03-14 | Bibliography and citations | Laurenz |
| 2023-03-11 | Jump to source and preview | Laurenz |
| 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 |
