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