| Age | Commit message (Collapse) | 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 | |
