Commit Graph

17 Commits

Author SHA1 Message Date
496ac27f02 [Docs] Document new macros 2025-09-22 19:18:09 +02:00
696118c824 [Docs] Add nicer title page, document new functions 2025-09-22 15:31:59 +02:00
907d5009a7 Format source files with latexindent 2025-08-17 08:13:12 +02:00
d824616d80 Add improved commands for def, lemma, theorems, etc 2025-07-13 11:22:32 +02:00
d1821ae509 Fix translation for theorem 2025-07-13 10:47:02 +02:00
e2414dd7e2 [Docs] Add additional reference section 2025-07-06 11:04:38 +02:00
d3b2c379b3 Add information on language selection 2025-03-28 16:26:49 +01:00
cab909372f Fix incorrect docs for cheat sheet setup 2025-03-18 09:48:22 +01:00
0a2b1eb5ae Add spacing guidelines 2025-03-05 17:15:06 +01:00
05ce1db257 Add more troubleshooting to the docs 2025-01-08 13:24:17 +01:00
ed2c9a80c3 Add new CS configs, update docs for that + troubleshooting guide 2025-01-08 11:53:22 +01:00
85ffdfdc68 Add new commands, docs still missing for some 2025-01-08 10:41:15 +01:00
f099566e8f Add more docs on extra commands 2025-01-07 18:40:16 +01:00
08369be70d Add more numbering options, update docs for that 2025-01-07 17:24:18 +01:00
bf805c2007 Restructure docs 2025-01-07 14:07:33 +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