5 Commits

Include renames

Author	SHA1	Message	Date
janishutz	d1821ae509	Fix translation for theorem	2025-07-13 10:47:02 +02:00
janishutz	ffe81249b0	Fix letters + improvements for them. More fixes to come	2025-02-20 13:34:33 +01:00
janishutz	08369be70d	Add more numbering options, update docs for that	2025-01-07 17:24:18 +01:00
janishutz	0644caf2b2	Add docs, finish up errors	2025-01-07 10:38:36 +01:00
janishutz	9217ace0af	Set up helpers, mostly okay. Some changes yet to come	2025-01-06 17:52:57 +01:00