Maximilian Keßler (via gitlab runner) 340d7093f5 refproof: fix optional argument of oldproof environment ... Build branch master (d96c0bd) from kesslermaximilian/LatexPackages		2022-06-27 14:15:45 +00:00
..
fancythm	fix @counteralias usage of thmtools	2022-06-27 13:33:47 +00:00
groupthm	remove default benchmarking in groupthm	2022-02-03 14:51:36 +00:00
refproof	refproof: fix optional argument of oldproof environment	2022-06-27 14:15:45 +00:00
thmstyle	fix thmstyle spacing with parskip	2022-02-13 23:40:45 +00:00