|
|
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 |
|
