Commit graph

7 commits

Author SHA1 Message Date
58a330ddf1 update (and push) PyTeX
Build branch master (da44daa) from kesslermaximilian/LatexPackages
2022-01-11 20:39:29 +00:00
be688d259f add mathsymbindex package
Used to define math operators with automatic indexing
    Still in development, but fully working by now

Build branch master (296afc0) from kesslermaximilian/LatexPackages
2022-01-11 19:15:47 +00:00
c325e4740f provide proper proofdepth macro. fix subproof
Build branch master (eb06eb8) from kesslermaximilian/LatexPackages
2022-01-09 23:32:04 +00:00
558b903005 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs
Build branch master (c0e4705) from kesslermaximilian/LatexPackages
2022-01-09 21:23:03 +00:00
264898f2ae fix infinite recursion bug in claim counter. fix some spacing
Build branch master (47449c5) from kesslermaximilian/LatexPackages
2022-01-09 19:21:33 +00:00
425c68b027 add explicit subproof environment
Build branch master (f4d0797) from kesslermaximilian/LatexPackages
2022-01-09 14:44:56 +00:00
74edcd4b22 rename proof package to refproof
Build branch master (bc072ff) from kesslermaximilian/LatexPackages
2022-01-09 13:37:41 +00:00