|
|
9768ba00ee
|
regroup some stuff. outline future semantics in test document
|
2022-01-17 03:13:46 +01:00 |
|
|
|
d609b54aac
|
fix bugs in thmtools option not being set properly
|
2022-01-17 00:20:14 +01:00 |
|
|
|
ed41616c4a
|
fix missing bug of keys getting set wrongly
|
2022-01-17 00:02:49 +01:00 |
|
|
|
22b3e2352f
|
some debugging
|
2022-01-16 23:55:29 +01:00 |
|
|
|
9d5a257aed
|
add code for theorem variants generation in document
|
2022-01-16 23:28:43 +01:00 |
|
|
|
3d8b6f0fdc
|
make proper macros for theorem variant parsers
|
2022-01-16 23:01:52 +01:00 |
|
|
|
9cb5f5ed2f
|
add new theorem variant parser command
|
2022-01-16 22:41:36 +01:00 |
|
|
|
820ae92f28
|
mark some macros private
|
2022-01-16 22:34:05 +01:00 |
|
|
|
d8322bb5f1
|
refactor powerset macro into own package
|
2022-01-16 22:24:18 +01:00 |
|
|
|
3630c47b59
|
theorem variants generation
add iterating over powerset of clist function
add sorting hack for theoremgroups
add declare_theorem_variants macro
|
2022-01-16 21:38:19 +01:00 |
|
|
|
5e141841cb
|
add default group rules
|
2022-01-16 18:42:53 +01:00 |
|
|
|
886e562574
|
implement hook rules for theorem groups
|
2022-01-16 18:35:07 +01:00 |
|
|
|
a8cca1cbc6
|
use expl3 interface of hooks instead
|
2022-01-16 18:03:43 +01:00 |
|
|
|
73d473b25d
|
implement mapname
|
2022-01-16 17:59:40 +01:00 |
|
|
|
a19f905598
|
better error messages
|
2022-01-16 17:49:25 +01:00 |
|
|
|
e3d3d9ba0f
|
fixed bugs, working version again
|
2022-01-16 17:39:02 +01:00 |
|
|
|
0e1a802995
|
clean up internal package names. not working anymore
|
2022-01-16 17:18:11 +01:00 |
|
|
|
386f07a6d6
|
prename, postname and thmtools keys for groups and grouped theorems working
|
2022-01-16 14:35:24 +01:00 |
|
|
|
e92f1da165
|
group generation and theorem generation working. not all keys implemented yet
|
2022-01-16 13:48:25 +01:00 |
|
|
|
274ce257d6
|
start development of groupthm package
|
2022-01-16 12:12:12 +01:00 |
|
|
|
0aefd5fd71
|
conform to uniform macro usage
|
2021-10-29 09:28:01 +02:00 |
|
|
|
f8f6a87f22
|
fix missing }
|
2021-10-13 10:03:23 +02:00 |
|
|
|
8ed465db9e
|
fix fancythm option
|
2021-10-13 09:12:27 +02:00 |
|
Maximilian Keßler
|
9f183d079b
|
fix wrong usage of X options
|
2021-10-08 20:10:55 +02:00 |
|
Maximilian Keßler
|
d69ab83952
|
rename packages folder to 'src' since it now includes classes as well
|
2021-10-08 16:37:35 +02:00 |
|
