Maximilian Keßler (via gitlab runner) 36b0972be6 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs ... Build branch v2.4.6 (c0e4705) from kesslermaximilian/LatexPackages		2022-01-30 21:02:56 +00:00
..
mkessler-faktor.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-math.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathalias.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathfig.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathfixes.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathfont.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathop.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-mathsymb.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-unicodechar.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00