Builds / deployment of the latex packages. https://git.abstractnonsen.se/latex/latex-packages
Find a file
2022-01-30 21:02:56 +00:00
environments fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
exercises fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
lecture-notes fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
math fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
misc fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
utils fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
wip fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00
build_info.json fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs 2022-01-30 21:02:56 +00:00