| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-06-09 | Autocomplete fixes for math mode (#6415) | cAttte |
| 2025-05-28 | More precise math font autocomplete suggestions (#6316) | Igor Khanin |
| 2025-02-03 | Refactor `Scope` (#5797) | Laurenz |
| 2024-11-13 | Smarter filtering of scope completions | Laurenz |
| 2024-11-13 | Simplify go-to-definition | Laurenz |
| 2024-11-13 | Simplify import handling | Laurenz |
| 2024-11-13 | Move a few things into separate files | Laurenz |
