| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-12-05 | Make show rule fallible again | Laurenz |
| 2022-12-02 | Heading numbering and outline | Laurenz |
| 2022-12-02 | Introspection | Laurenz |
| 2022-12-02 | Introduce virtual typesetter | Laurenz |
| 2022-11-29 | Reorganize library and tests | Laurenz |
