Maximilian Keßler (via gitlab runner) ae7a82c2f3 add explicit subproof environment ... Build branch v2.4.4 (f4d0797) from kesslermaximilian/LatexPackages		2022-01-09 14:45:23 +00:00
..
mkessler-lectures.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-script.cls	add explicit subproof environment	2022-01-09 14:45:23 +00:00