Maximilian Keßler (via gitlab runner) b6589677e9 rename proof package to refproof ... Build branch v2.4.3 (bc072ff) from kesslermaximilian/LatexPackages		2022-01-09 13:37:26 +00:00
..
mkessler-hypersetup.sty	rename proof package to refproof	2022-01-09 13:37:26 +00:00
mkessler-incfig.sty	rename proof package to refproof	2022-01-09 13:37:26 +00:00
mkessler-vocab.sty	rename proof package to refproof	2022-01-09 13:37:26 +00:00