10 Commits

Author	SHA1	Message	Date
Laurenz	89f44f220d	Bibliography and citations	2023-03-14 22:53:54 +01:00
Laurenz	724e9b140c	Locatability and synthesis improvements	2023-03-13 21:41:33 +01:00
Laurenz	529d3e10c6	Section references	2023-03-11 18:29:48 +01:00
Laurenz	25b5bd1175	Fully untyped model	2023-03-07 15:17:13 +01:00
Laurenz	6ab7760822	Split up model module	2023-03-01 16:33:28 +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	6bafc63910	Document metadata	2022-11-26 23:52:01 +01:00
Laurenz	bf5edbbbbb	Tidy up	2022-11-25 12:16:13 +01:00
Laurenz	96f72eee6c	Separate typesetting and compilation	2022-11-24 17:51:07 +01:00