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-bibliography.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-enumerate.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-exsheet.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-figures.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-gag.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-lang-input.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-refproof.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-removed.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-restate.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
translator-proof-dictionary-English.dict	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
translator-proof-dictionary-German.dict	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00