Commit Graph

11 Commits

Author SHA1 Message Date
janishutz 5870830fb4 [Config] Fix issue 2026-02-28 12:00:51 +01:00
janishutz 1b9f0e516f [General] Fix some issues 2026-02-22 12:15:52 +01:00
janishutz 2f12f17c4e [Docs] Start migration guide 2026-02-22 08:41:44 +01:00
janishutz c6d00748cd [General] Various fixes 2026-02-21 17:26:26 +01:00
janishutz baebaa99d0 Update docs (mostly), fixes, etc
Update docs / build_docs (push) Has been cancelled
Update helpers / build_helpers (push) Successful in 25s
2026-02-21 16:24:21 +01:00
janishutz 811dc9f9eb Store to move back to normal tex files 2026-02-19 16:52:35 +01:00
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