Maximilian Keßler d96c0bdb38 refproof: fix optional argument of oldproof environment		2022-06-27 16:15:41 +02:00
..
fancythm	fix @counteralias usage of thmtools	2022-06-27 15:32:53 +02:00
groupthm	remove default benchmarking in groupthm	2022-02-03 15:45:52 +01:00
refproof	refproof: fix optional argument of oldproof environment	2022-06-27 16:15:41 +02:00
thmstyle	fix thmstyle spacing with parskip	2022-02-14 00:39:40 +01:00