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-bibliography.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-enumerate.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-exsheet.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-figures.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-gag.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-lang-input.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-refproof.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-removed.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
mkessler-restate.sty	add explicit subproof environment	2022-01-09 14:45:23 +00:00
translator-proof-dictionary-English.dict	add explicit subproof environment	2022-01-09 14:45:23 +00:00
translator-proof-dictionary-German.dict	add explicit subproof environment	2022-01-09 14:45:23 +00:00