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