Builds / deployment of the latex packages. https://git.abstractnonsen.se/latex/latex-packages
Find a file
Maximilian Keßler (via gitlab runner) 44bb750ed5 provide proper proofdepth macro. fix subproof
Build branch v2.4.7 (eb06eb8) from kesslermaximilian/LatexPackages
2022-01-30 21:03:33 +00:00
environments provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
exercises provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
lecture-notes provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
math provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
misc provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
utils provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
wip provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00
build_info.json provide proper proofdepth macro. fix subproof 2022-01-30 21:03:33 +00:00