Commit Graph

18 Commits

Author SHA1 Message Date
5f66b9e1db [CS] Update macros 2025-09-26 18:19:04 +02:00
05d5ef49e6 [CS] Add more macros for TI 2025-09-26 18:16:43 +02:00
1f296ccd56 [CS] Add new macro for words 2025-09-26 18:12:09 +02:00
4b4d5b0a32 [Docs] Fix error in organization, compile 2025-09-26 12:11:20 +02:00
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
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