Maximilian Keßler 13ae62e156 correct usage of mdframed. still buggy, but probably caused by thmstyle package		2022-01-23 17:00:40 +01:00
..
fancythm	correct usage of mdframed. still buggy, but probably caused by thmstyle package	2022-01-23 17:00:40 +01:00
groupthm	fix error message on wrong keys	2022-01-23 16:35:08 +01:00