| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-11-30 | Syntax highlighting | Laurenz |
| 2021-11-16 | Revert page and inline levels | Laurenz |
| 2021-11-14 | Tidying | Laurenz |
| 2021-11-08 | Final touches | Laurenz |
| 2021-11-08 | Fine-grained capturing | Laurenz |
| 2021-11-05 | Refactoring | Laurenz |
| 2021-11-05 | Code Review: Life is Like a Box of Iterators | Martin Haug |
| 2021-11-05 | Less owning, more iterating | Martin Haug |
| 2021-11-05 | Change parser | Martin Haug |
| 2021-09-25 | Simplify source file loading logic | Laurenz |
| 2021-09-15 | Bugfix and tidying | Laurenz |
| 2021-08-21 | Prune derives | Laurenz |
| 2021-08-16 | Editable source files | Laurenz |
| 2021-08-13 | Add file information to spans | Laurenz |
| 2021-08-10 | Minor refactorings | Laurenz |
| 2021-08-09 | New source loading architecture | Laurenz |
| 2021-08-01 | Pretty-printed diagnostics with traceback | Laurenz |
