|
|
6d8a131865
|
Rework building of documentation files
Instead of an ugly Makefile structure, we now use a single compile
script that collects all the files in build/doc.
|
2023-10-19 01:34:46 +02:00 |
|
|
|
9908fa858a
|
rework Makefiles and .latexmkrc
|
2022-01-30 20:55:56 +01:00 |
|
|
|
8aa2e4139c
|
consistent naming
|
2022-01-30 14:38:30 +01:00 |
|
|
|
81bf2a9588
|
move groupthm and fancythm into src folder
|
2022-01-24 01:15:42 +01:00 |
|
|
|
6849b1e36c
|
integrate pytex for docstrip
|
2022-01-24 01:05:49 +01:00 |
|
|
|
33a2294692
|
provide lots of default theorems
|
2022-01-23 19:01:02 +01:00 |
|
|
|
f4887160ed
|
add private wrappers to provide theorems with user pre-specified groups
|
2022-01-23 18:36:51 +01:00 |
|
|
|
5d103708c2
|
add providing macro variants
|
2022-01-23 17:56:53 +01:00 |
|
|
|
e5b3a7f432
|
integrate translations
|
2022-01-23 17:22:38 +01:00 |
|
|
|
13ae62e156
|
correct usage of mdframed. still buggy, but probably caused by thmstyle package
|
2022-01-23 17:00:40 +01:00 |
|
|
|
3b16c40e05
|
implement fancy theorem generation
|
2022-01-23 16:41:20 +01:00 |
|
|
|
84503aa5d5
|
handle translator
|
2022-01-23 15:30:53 +01:00 |
|
|
|
ed965bc461
|
fix option parsing bugs
|
2022-01-23 15:25:22 +01:00 |
|
|
|
beb4b7af0a
|
implement counters and option parsing
|
2022-01-23 15:21:29 +01:00 |
|
|
|
02356e81d7
|
start fancythm package
|
2022-01-23 14:08:17 +01:00 |
|
