Commit Graph

8 Commits

Author SHA1 Message Date
c6d00748cd [General] Various fixes 2026-02-21 17:26:26 +01:00
baebaa99d0 Update docs (mostly), fixes, etc
Some checks failed
Update docs / build_docs (push) Has been cancelled
Update helpers / build_helpers (push) Successful in 25s
2026-02-21 16:24:21 +01:00
811dc9f9eb Store to move back to normal tex files 2026-02-19 16:52:35 +01:00
d1821ae509 Fix translation for theorem 2025-07-13 10:47:02 +02:00
ffe81249b0 Fix letters + improvements for them. More fixes to come 2025-02-20 13:34:33 +01:00
08369be70d Add more numbering options, update docs for that 2025-01-07 17:24:18 +01:00
0644caf2b2 Add docs, finish up errors 2025-01-07 10:38:36 +01:00
9217ace0af Set up helpers, mostly okay. Some changes yet to come 2025-01-06 17:52:57 +01:00