fancythm
|
add nobraces option to fancythm
|
2022-06-12 17:20:57 +02:00 |
groupthm
|
remove default benchmarking in groupthm
|
2022-02-03 15:45:52 +01:00 |
refproof
|
move package sources into own folders
|
2022-01-30 14:16:50 +01:00 |
thmstyle
|
fix thmstyle spacing with parskip
|
2022-02-14 00:39:40 +01:00 |