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-faktor.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-math.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathalias.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathfig.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathfixes.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathfont.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathop.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-mathsymb.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-unicodechar.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00