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-hypersetup.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-incfig.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-vocab.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00