105 Commits

Author	SHA1	Message	Date
Laurenz	1d324235bd	Make show rule fallible again	2022-12-05 12:21:10 +01:00
Laurenz	f57ce86431	Heading numbering and outline	2022-12-02 15:53:01 +01:00
Laurenz	9bc90c371f	Introspection	2022-12-02 15:45:18 +01:00
Laurenz	5110a41de1	Introduce virtual typesetter	2022-12-02 13:21:36 +01:00
Laurenz	0efe669278	Reorganize library and tests	2022-11-29 14:18:13 +01:00