|
|
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 |
|
|
|
5bf0c39cc7
|
better makefile
|
2022-01-23 01:27:53 +01:00 |
|
|
|
08323fdf48
|
implement new define aux command to better generate variants with new, declare, provide and renew
|
2022-01-20 15:25:31 +01:00 |
|
|
|
b514de5e09
|
better makefile
|
2022-01-20 12:07:35 +01:00 |
|
|
|
3caa51245a
|
fix some bugs. add sorting macros
|
2022-01-17 22:34:53 +01:00 |
|
|
|
6976cec905
|
document and rework theorem groups
|
2022-01-17 21:52:22 +01:00 |
|
|
|
453471eb88
|
add makefile
|
2022-01-17 17:06:18 +01:00 |
|
