latex/latex-packages-build
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
v2.4.3-build
latex-packages-build/wip
History
Maximilian Keßler (via gitlab runner) b6589677e9 rename proof package to refproof 
Build branch v2.4.3 (bc072ff) from kesslermaximilian/LatexPackages
2022-01-09 13:37:26 +00:00
..
mkessler-bibliography.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-enumerate.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-exsheet.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-figures.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-gag.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-lang-input.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-refproof.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-removed.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
mkessler-restate.sty rename proof package to refproof 2022-01-09 13:37:26 +00:00
translator-proof-dictionary-English.dict rename proof package to refproof 2022-01-09 13:37:26 +00:00
translator-proof-dictionary-German.dict rename proof package to refproof 2022-01-09 13:37:26 +00:00