Commit Graph

1 Commits

Author SHA1 Message Date
44bb750ed5 provide proper proofdepth macro. fix subproof
Build branch v2.4.7 (eb06eb8) from kesslermaximilian/LatexPackages
2022-01-30 21:03:33 +00:00