From 74edcd4b22b4724b8c4bd65e8cb550f04e9120af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler=20=28via=20gitlab=20runner=29?= Date: Sun, 9 Jan 2022 13:37:41 +0000 Subject: [PATCH] rename proof package to refproof Build branch master (bc072ff) from kesslermaximilian/LatexPackages --- build_info.json | 308 ++++++++++--------- environments/mkessler-fancythm.sty | 8 +- environments/mkessler-thmstyle.sty | 8 +- exercises/mkessler-sheet.cls | 8 +- lecture-notes/mkessler-lectures.sty | 8 +- lecture-notes/mkessler-script.cls | 6 +- math/mkessler-faktor.sty | 8 +- math/mkessler-math.sty | 8 +- math/mkessler-mathalias.sty | 8 +- math/mkessler-mathfig.sty | 8 +- math/mkessler-mathfixes.sty | 8 +- math/mkessler-mathfont.sty | 8 +- math/mkessler-mathop.sty | 6 +- math/mkessler-mathsymb.sty | 8 +- math/mkessler-unicodechar.sty | 8 +- misc/mkessler-hypersetup.sty | 8 +- misc/mkessler-incfig.sty | 8 +- misc/mkessler-vocab.sty | 8 +- utils/mkessler-counters.sty | 8 +- utils/mkessler-findpackage.sty | 8 +- wip/mkessler-bibliography.sty | 8 +- wip/mkessler-enumerate.sty | 8 +- wip/mkessler-exsheet.sty | 8 +- wip/mkessler-figures.sty | 8 +- wip/mkessler-gag.sty | 8 +- wip/mkessler-lang-input.sty | 8 +- wip/mkessler-refproof.sty | 147 +++++++++ wip/mkessler-removed.sty | 8 +- wip/mkessler-restate.sty | 8 +- wip/translator-proof-dictionary-English.dict | 60 ++++ wip/translator-proof-dictionary-German.dict | 60 ++++ 31 files changed, 532 insertions(+), 255 deletions(-) create mode 100644 wip/mkessler-refproof.sty create mode 100644 wip/translator-proof-dictionary-English.dict create mode 100644 wip/translator-proof-dictionary-German.dict diff --git a/build_info.json b/build_info.json index 4b2d3e0..8be2c5c 100644 --- a/build_info.json +++ b/build_info.json @@ -1,294 +1,304 @@ { "build_time": "", "source files": { - "version": "v2.4.0-beta-8", - "commit": "c592a7f8acca783756365029cf2d643b35e2b62f", + "version": "v2.4.3", + "commit": "bc072ff89192fb3de8f2e6799e2d34d122385334", "dirty": false }, "pytex": { - "version": "v1.0.0-18", - "commit": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "version": "v1.2.0-3-g5e077e7", + "commit": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, "tex_sources": [ { "name": "mkessler-restate.sty", "source file": "restate.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-enumerate.sty", "source file": "enumerate.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-removed.sty", "source file": "removed.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", + "dirty": false + }, + { + "name": "mkessler-refproof.sty", + "source file": "refproof.pysty", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-bibliography.sty", "source file": "bibliography.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-gag.sty", "source file": "gag.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-figures.sty", "source file": "figures.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", - "dirty": false - }, - { - "name": "mkessler-proof.sty", - "source file": "proof.pysty", - "build time": "2022/01/08 22:43", - "source version": "v2.4.0-beta-8", - "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f", - "pytex version": "v1.0.0-18", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-exsheet.sty", "source file": "exsheet.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-lang-input.sty", "source file": "lang-input.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-lectures.sty", "source file": "lectures.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathalias.sty", "source file": "mathalias.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathfixes.sty", "source file": "mathfixes.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-unicodechar.sty", "source file": "unicodechar.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathop.sty", "source file": "mathop.pysty", - "build time": "2022/01/08 22:43", - "source version": "v2.4.0-beta-8", - "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f", - "pytex version": "v1.0.0-18", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathfig.sty", "source file": "mathfig.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathsymb.sty", "source file": "mathsymb.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-faktor.sty", "source file": "faktor.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-mathfont.sty", "source file": "mathfont.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-math.sty", "source file": "math.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-counters.sty", "source file": "counters.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-findpackage.sty", "source file": "findpackage.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-thmstyle.sty", "source file": "thmstyle.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-fancythm.sty", "source file": "fancythm.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-incfig.sty", "source file": "incfig.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-hypersetup.sty", "source file": "hypersetup.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-vocab.sty", "source file": "vocab.pysty", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-script.cls", "source file": "script.pycls", - "build time": "2022/01/08 22:43", - "source version": "v2.4.0-beta-8", - "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f", - "pytex version": "v1.0.0-18", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false }, { "name": "mkessler-sheet.cls", "source file": "sheet.pycls", - "build time": "2021/10/29 09:41", - "source version": "v2.4.0-beta", - "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb", - "pytex version": "v1.2.0", - "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", + "dirty": false + }, + { + "name": "translator-proof-dictionary-{language}.dict", + "source file": "proof.pydict", + "build time": "2022/01/09 13:37", + "source version": "v2.4.3", + "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334", + "pytex version": "v1.2.0-3-g5e077e7", + "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6", "dirty": false } ] diff --git a/environments/mkessler-fancythm.sty b/environments/mkessler-fancythm.sty index 56e621b..ba85eb8 100644 --- a/environments/mkessler-fancythm.sty +++ b/environments/mkessler-fancythm.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-fancythm}[2021/10/29 - Theorem-Environment Package] +\ProvidesPackage{mkessler-fancythm}[2022/01/09 - Theorem-Environment Package] %Provides fancy theorem-like-environments used in the write-ups of my lecture notes diff --git a/environments/mkessler-thmstyle.sty b/environments/mkessler-thmstyle.sty index cb7e7c4..22d6c4b 100644 --- a/environments/mkessler-thmstyle.sty +++ b/environments/mkessler-thmstyle.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-thmstyle}[2021/10/29 - Mdframed Styles used for fancythm package] +\ProvidesPackage{mkessler-thmstyle}[2022/01/09 - Mdframed Styles used for fancythm package] %%%%% This provides easy-to-use styles, especially for use with the diff --git a/exercises/mkessler-sheet.cls b/exercises/mkessler-sheet.cls index 329eeb0..8d5b94e 100644 --- a/exercises/mkessler-sheet.cls +++ b/exercises/mkessler-sheet.cls @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the class again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX class is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the class can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesClass{mkessler-sheet}[2021/10/29 - Write up university exercise sheets] +\ProvidesClass{mkessler-sheet}[2022/01/09 - Write up university exercise sheets] diff --git a/lecture-notes/mkessler-lectures.sty b/lecture-notes/mkessler-lectures.sty index 852c425..453072e 100644 --- a/lecture-notes/mkessler-lectures.sty +++ b/lecture-notes/mkessler-lectures.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-lectures}[2021/10/29 - Package for managing different lectures within a document] +\ProvidesPackage{mkessler-lectures}[2022/01/09 - Package for managing different lectures within a document] % The core of the lecture command this package provides has been taken from the preamble in diff --git a/lecture-notes/mkessler-script.cls b/lecture-notes/mkessler-script.cls index 2b5f7fe..2dfbab9 100644 --- a/lecture-notes/mkessler-script.cls +++ b/lecture-notes/mkessler-script.cls @@ -26,8 +26,8 @@ % edit the source file and build the class again. % % Build details: -% PyTeX version: v1.0.0-18 (commit 126d420) -% Source code version: v2.4.0-beta-8 (commit c592a7f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX class is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the class can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesClass{mkessler-script}[2022/01/08 - Write up lecture notes as script] +\ProvidesClass{mkessler-script}[2022/01/09 - Write up lecture notes as script] diff --git a/math/mkessler-faktor.sty b/math/mkessler-faktor.sty index 3588632..460e9e2 100644 --- a/math/mkessler-faktor.sty +++ b/math/mkessler-faktor.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-faktor}[2021/10/29 - Faktor package that also handles cofaktors] +\ProvidesPackage{mkessler-faktor}[2022/01/09 - Faktor package that also handles cofaktors] diff --git a/math/mkessler-math.sty b/math/mkessler-math.sty index b362460..79fba68 100644 --- a/math/mkessler-math.sty +++ b/math/mkessler-math.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-math}[2021/10/29 - Main math package.] +\ProvidesPackage{mkessler-math}[2022/01/09 - Main math package.] % Collects the basic math packages used for my lecture-note write-ups diff --git a/math/mkessler-mathalias.sty b/math/mkessler-mathalias.sty index 4e82b37..2716b0d 100644 --- a/math/mkessler-mathalias.sty +++ b/math/mkessler-mathalias.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathalias}[2021/10/29 - Easy aliasing for math style commands] +\ProvidesPackage{mkessler-mathalias}[2022/01/09 - Easy aliasing for math style commands] diff --git a/math/mkessler-mathfig.sty b/math/mkessler-mathfig.sty index 087ed1d..2c020e3 100644 --- a/math/mkessler-mathfig.sty +++ b/math/mkessler-mathfig.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathfig}[2021/10/29 - Math figures with TikZ / pgfplots / xy] +\ProvidesPackage{mkessler-mathfig}[2022/01/09 - Math figures with TikZ / pgfplots / xy] % This is just a collection of the packages I use to typeset mathematical figures diff --git a/math/mkessler-mathfixes.sty b/math/mkessler-mathfixes.sty index 9835542..ec68a57 100644 --- a/math/mkessler-mathfixes.sty +++ b/math/mkessler-mathfixes.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathfixes}[2021/10/29 - Hacky math packages for some (custom) fixes] +\ProvidesPackage{mkessler-mathfixes}[2022/01/09 - Hacky math packages for some (custom) fixes] % This just brings together some (possibly ugly) hacks that I use when writing math. Likely, you do not want to use this except when building around this package (like I did), or already have similar shortcuts diff --git a/math/mkessler-mathfont.sty b/math/mkessler-mathfont.sty index c52d78c..8175233 100644 --- a/math/mkessler-mathfont.sty +++ b/math/mkessler-mathfont.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathfont}[2021/10/29 - Collects several math fonts together] +\ProvidesPackage{mkessler-mathfont}[2022/01/09 - Collects several math fonts together] %%% Store away the several (partially conflicting) fonts in internal macros diff --git a/math/mkessler-mathop.sty b/math/mkessler-mathop.sty index c453586..95f9c4f 100644 --- a/math/mkessler-mathop.sty +++ b/math/mkessler-mathop.sty @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.0.0-18 (commit 126d420) -% Source code version: v2.4.0-beta-8 (commit c592a7f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathop}[2022/01/08 - Math Operator Package] +\ProvidesPackage{mkessler-mathop}[2022/01/09 - Math Operator Package] %Provides some commonly used Operators used in the write-ups of my lecture notes diff --git a/math/mkessler-mathsymb.sty b/math/mkessler-mathsymb.sty index 0443371..707ccb6 100644 --- a/math/mkessler-mathsymb.sty +++ b/math/mkessler-mathsymb.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-mathsymb}[2021/10/29 - Some extra math-related symbols.] +\ProvidesPackage{mkessler-mathsymb}[2022/01/09 - Some extra math-related symbols.] % A collection of math-related symbols / tools I often use, mainly collected together from Stack Overflow or hacked together myself diff --git a/math/mkessler-unicodechar.sty b/math/mkessler-unicodechar.sty index 69bcbc0..4b83d66 100644 --- a/math/mkessler-unicodechar.sty +++ b/math/mkessler-unicodechar.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-unicodechar}[2021/10/29 - Wrapper for the newunicodechare package with some defined unicode symbols.] +\ProvidesPackage{mkessler-unicodechar}[2022/01/09 - Wrapper for the newunicodechare package with some defined unicode symbols.] % This is just a simple package loading the newunicodechar package and defining the common unicode symbols i regularly use for typesetting mathematics diff --git a/misc/mkessler-hypersetup.sty b/misc/mkessler-hypersetup.sty index e3af0fa..ebbcb4a 100644 --- a/misc/mkessler-hypersetup.sty +++ b/misc/mkessler-hypersetup.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-hypersetup}[2021/10/29 - Package for setting up hyperref, cleveref and some default hyperref colors] +\ProvidesPackage{mkessler-hypersetup}[2022/01/09 - Package for setting up hyperref, cleveref and some default hyperref colors] diff --git a/misc/mkessler-incfig.sty b/misc/mkessler-incfig.sty index e586931..d43bea7 100644 --- a/misc/mkessler-incfig.sty +++ b/misc/mkessler-incfig.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-incfig}[2021/10/29 - Figure support for inkscape figures by Gilles Castell] +\ProvidesPackage{mkessler-incfig}[2022/01/09 - Figure support for inkscape figures by Gilles Castell] diff --git a/misc/mkessler-vocab.sty b/misc/mkessler-vocab.sty index 0d0c69b..c0cb86a 100644 --- a/misc/mkessler-vocab.sty +++ b/misc/mkessler-vocab.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-vocab}[2021/10/29 - Package for emphasizing vocabulary] +\ProvidesPackage{mkessler-vocab}[2022/01/09 - Package for emphasizing vocabulary] %%Provides a \vocab<[name in index]>{vocabulary} command to print vocabulary in bold blue and automatically index it. diff --git a/utils/mkessler-counters.sty b/utils/mkessler-counters.sty index 3b29e99..7a2e6a1 100644 --- a/utils/mkessler-counters.sty +++ b/utils/mkessler-counters.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-counters}[2021/10/29 - Write LaTeX counters to auxiliary file] +\ProvidesPackage{mkessler-counters}[2022/01/09 - Write LaTeX counters to auxiliary file] diff --git a/utils/mkessler-findpackage.sty b/utils/mkessler-findpackage.sty index a9feddf..05a23f3 100644 --- a/utils/mkessler-findpackage.sty +++ b/utils/mkessler-findpackage.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-findpackage}[2021/10/29 - Find a package that provides some command] +\ProvidesPackage{mkessler-findpackage}[2022/01/09 - Find a package that provides some command] % This is just a quick packaging of the post by diff --git a/wip/mkessler-bibliography.sty b/wip/mkessler-bibliography.sty index 4872e1b..dd6010d 100644 --- a/wip/mkessler-bibliography.sty +++ b/wip/mkessler-bibliography.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-bibliography}[2021/10/29 - Package to easily print bibliography and image attributions in document] +\ProvidesPackage{mkessler-bibliography}[2022/01/09 - Package to easily print bibliography and image attributions in document] \RequirePackage{xkeyval} diff --git a/wip/mkessler-enumerate.sty b/wip/mkessler-enumerate.sty index 05b0158..83936a3 100644 --- a/wip/mkessler-enumerate.sty +++ b/wip/mkessler-enumerate.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-enumerate}[2021/10/29 - Simple enumeration package wrapper. Handles custom number setting and beamer class.] +\ProvidesPackage{mkessler-enumerate}[2022/01/09 - Simple enumeration package wrapper. Handles custom number setting and beamer class.] diff --git a/wip/mkessler-exsheet.sty b/wip/mkessler-exsheet.sty index a1b7890..f00841e 100644 --- a/wip/mkessler-exsheet.sty +++ b/wip/mkessler-exsheet.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-exsheet}[2021/10/29 - Include exercise sheets into lecture notes easily.] +\ProvidesPackage{mkessler-exsheet}[2022/01/09 - Include exercise sheets into lecture notes easily.] diff --git a/wip/mkessler-figures.sty b/wip/mkessler-figures.sty index dc00cc8..545cf2d 100644 --- a/wip/mkessler-figures.sty +++ b/wip/mkessler-figures.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-figures}[2021/10/29 - Packages related to inclusion of figures.] +\ProvidesPackage{mkessler-figures}[2022/01/09 - Packages related to inclusion of figures.] diff --git a/wip/mkessler-gag.sty b/wip/mkessler-gag.sty index f8199f8..5d7d616 100644 --- a/wip/mkessler-gag.sty +++ b/wip/mkessler-gag.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-gag}[2021/10/29 - Numbering of environments with a fractional environment number] +\ProvidesPackage{mkessler-gag}[2022/01/09 - Numbering of environments with a fractional environment number] % For the stack exchange source, see diff --git a/wip/mkessler-lang-input.sty b/wip/mkessler-lang-input.sty index c857ad0..f137846 100644 --- a/wip/mkessler-lang-input.sty +++ b/wip/mkessler-lang-input.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-lang-input}[2021/10/29 - Packages related to language input. Still work in progress, not intended for use.] +\ProvidesPackage{mkessler-lang-input}[2022/01/09 - Packages related to language input. Still work in progress, not intended for use.] \RequirePackage[\ifutf utf8\else utf8x\fi]{inputenc} diff --git a/wip/mkessler-refproof.sty b/wip/mkessler-refproof.sty new file mode 100644 index 0000000..ef348ca --- /dev/null +++ b/wip/mkessler-refproof.sty @@ -0,0 +1,147 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Copyright © 2022 Maximilian Keßler +% +% Permission is hereby granted, free of charge, to any person obtaining a copy +% of this software and associated documentation files (the “Software”), to deal +% in the Software without restriction, including without limitation the rights +% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +% copies of the Software, and to permit persons to whom the Software is +% furnished to do so, subject to the following conditions: +% The above copyright notice and this permission notice shall be included in all +% copies or substantial portions of the Software. +% +% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +% SOFTWARE. +% +% This package has been generated by PyTeX, available at +% https://github.com/kesslermaximilian/PyTeX +% and built from source file 'refproof.pysty'. +% It is STRONGLY DISCOURAGED to edit this source file directly, since local +% changes will not be versioned by Git and overwritten by the next build. Always +% edit the source file and build the package again. +% +% Build details: +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) +% +% This LaTeX package is free software and distributed under the MIT License. You +% may use it freely for your purposes. The latest version of the package can be +% obtained via GitHub under +% https://github.com/kesslermaximilian/LatexPackages +% For further information see the url above. +% Reportings of bugs, suggestions and improvements are welcome, see the README +% at the Git repository for further information. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{mkessler-refproof}[2022/01/09 - Automatic references to theorems in proofs. Claim counters within proofs] + + + +\RequirePackage{xkeyval} + +\newif\ifmkessler@refproof@english\mkessler@refproof@englishtrue +\DeclareOptionX{german}{\mkessler@refproof@englishfalse} +\DeclareOptionX{ngerman}{\mkessler@refproof@englishfalse} +\DeclareOptionX{english}{\mkessler@refproof@englishtrue} + +\DeclareOptionX*{\PackageWarning{mkessler-refproof}{Unknown '\CurrentOption'}} +\ProcessOptionsX*\relax + + +\RequirePackage{amssymb} +\RequirePackage{amsthm} +\RequirePackage{etoolbox} +\RequirePackage{xparse} +\RequirePackage{refcount} +\RequirePackage{translator} + +\usedictionary{translator-proof-dictionary} + +%%Give claim an own counter and let it reset at each proof +%See also at: +%https://tex.stackexchange.com/questions/283502/reset-counter-at-beginning-of-proof +\newtheorem{claim}{\translate{Claim}} +\newtheorem*{claim*}{\translate{Claim}} +\AtBeginDocument{\def\claimautorefname{\translate{Claim}}} + +\newif\ifmkessler@refproof@hyperref\mkessler@refproof@hyperreffalse +\AtBeginDocument{ + \@ifpackageloaded{hyperref}{ + \mkessler@refproof@hyperreftrue + \let\mkessler@refproof@autoref\autoref + }{ + \mkessler@refproof@hyperreftrue + \let\mkessler@refproof@autoref\ref + } +} + +\let\mkessler@refproof@saved@proof\proof +\let\mkessler@refproof@saved@endproof\endproof + +\NewDocumentEnvironment{refproof}{s m o} +{ + % Restore correct counter for claim + \ifcsdef{themkessler@refproof@#2@save@claim}{ + \setcounter{claim}{\value{mkessler@refproof@#2@save@claim}} + \def\mkessler@refproof@proofprefix{\IfBooleanTF{#1}{\translate{Continuation of proof* of}}{\translate{Continuation of proof of}}} + }{ + \newcounter{mkessler@refproof@#2@save@claim} + \setcounter{claim}{0} + \def\mkessler@refproof@proofprefix{\IfBooleanTF{#1}{\translate{Proof* of}}{\translate{Proof of}}} + } + % Set up counter number printing as subindexed by numbering of the reference + \let\mkessler@refproof@theoldclaim\theclaim + \def\theclaim{\getrefnumber{#2}.\mkessler@refproof@theoldclaim} + % Now, start the actual proof + \mkessler@refproof@saved@proof[\mkessler@refproof@proofprefix\space\mkessler@refproof@autoref{#2}\IfValueT{#3}{\space(#3)}] +} +{ + \mkessler@refproof@saved@endproof % End proof + % Save current claim counter for later restoration + \setcounter{mkessler@refproof@#2@save@claim}{\value{claim}} +} + +% Proof (with asterisk) +\AtBeginDocument{ + \RenewDocumentEnvironment{proof}{s o} + { + \mkessler@refproof@saved@proof[\IfBooleanTF{#1}{\translate{Proof*}}{\translate{Proof}}\IfValueT{#2}{\space(#2)}] + } + { + \mkessler@refproof@saved@endproof + } +} + +\NewDocumentEnvironment{oldproof}{}{\mkessler@refproof@saved@proof}{\mkessler@refproof@saved@endproof} + +%%subproof environment - essentially copied proof environment from amsthm and modified its name + symbol +\DeclareRobustCommand{\blackqed}{% + \ifmmode \mathqed + \else + \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill + \quad\hbox{$\blacksquare$}% + \fi +} + +\newenvironment{subproof}[1][\ifmkessler@refproof@english Subproof\else Unterbeweis\fi]{\par + \pushQED{\blackqed}% + \normalfont \topsep6\p@\@plus6\p@\relax + \trivlist + \item[\hskip\labelsep + \itshape + #1\@addpunct{.}]\ignorespaces +}{% + \popQED\endtrivlist\@endpefalse +} + + +%%%% This might be dropped, but for now is collected here + +%%Solution (for exercises) +\newenvironment{solution}[1][]{\begin{proof}[\ifmkessler@refproof@english{}Solution\else{}Lösung\fi{}#1]}{\end{proof}} diff --git a/wip/mkessler-removed.sty b/wip/mkessler-removed.sty index 7aace9b..634f17e 100644 --- a/wip/mkessler-removed.sty +++ b/wip/mkessler-removed.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-removed}[2021/10/29 - (For now) removed parts of other packages. Not intended for use right now.] +\ProvidesPackage{mkessler-removed}[2022/01/09 - (For now) removed parts of other packages. Not intended for use right now.] % Quotations \RequirePackage{csquotes} % quotations diff --git a/wip/mkessler-restate.sty b/wip/mkessler-restate.sty index 4727969..4bb4ba9 100644 --- a/wip/mkessler-restate.sty +++ b/wip/mkessler-restate.sty @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 Maximilian Keßler +% Copyright © 2022 Maximilian Keßler % % Permission is hereby granted, free of charge, to any person obtaining a copy % of this software and associated documentation files (the “Software”), to deal @@ -26,8 +26,8 @@ % edit the source file and build the package again. % % Build details: -% PyTeX version: v1.2.0 (commit 126d420) -% Source code version: v2.4.0-beta (commit 0aefd5f) +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) % % This LaTeX package is free software and distributed under the MIT License. You % may use it freely for your purposes. The latest version of the package can be @@ -39,7 +39,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{mkessler-restate}[2021/10/29 - Replacement package] +\ProvidesPackage{mkessler-restate}[2022/01/09 - Replacement package] \RequirePackage{xkeyval} diff --git a/wip/translator-proof-dictionary-English.dict b/wip/translator-proof-dictionary-English.dict new file mode 100644 index 0000000..19b6b0a --- /dev/null +++ b/wip/translator-proof-dictionary-English.dict @@ -0,0 +1,60 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Copyright © 2022 Maximilian Keßler +% +% Permission is hereby granted, free of charge, to any person obtaining a copy +% of this software and associated documentation files (the “Software”), to deal +% in the Software without restriction, including without limitation the rights +% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +% copies of the Software, and to permit persons to whom the Software is +% furnished to do so, subject to the following conditions: +% The above copyright notice and this permission notice shall be included in all +% copies or substantial portions of the Software. +% +% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +% SOFTWARE. +% +% This dictionary has been generated by PyTeX, available at +% https://github.com/kesslermaximilian/PyTeX +% and built from source file 'proof.pydict'. +% It is STRONGLY DISCOURAGED to edit this source file directly, since local +% changes will not be versioned by Git and overwritten by the next build. Always +% edit the source file and build the dictionary again. +% +% Build details: +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) +% +% This LaTeX dictionary is free software and distributed under the MIT License. You +% may use it freely for your purposes. The latest version of the dictionary can be +% obtained via GitHub under +% https://github.com/kesslermaximilian/LatexPackages +% For further information see the url above. +% Reportings of bugs, suggestions and improvements are welcome, see the README +% at the Git repository for further information. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\ProvidesDictionary{translator-proof-dictionary}{English} + +\providetranslation{Claim}{Claim} +\providetranslation{claim}{claim} +\providetranslation{Proof}{Proof} +\providetranslation{proof}{proof} +\providetranslation{Proof*}{Proof*} +\providetranslation{proof*}{proof*} +\providetranslation{Proof of}{Proof of} +\providetranslation{proof of}{proof of} +\providetranslation{Proof* of}{Proof* of} +\providetranslation{proof* of}{proof* of} +\providetranslation{Continuation of proof}{Continuation of proof} +\providetranslation{continuation of proof}{continuation of proof} +\providetranslation{Continuation of proof of}{Continuation of proof of} +\providetranslation{continuation of proof of}{continuation of proof of} +\providetranslation{Continuation of proof*}{Continuation of proof*} +\providetranslation{continuation of proof*}{continuation of proof*} +\providetranslation{Continuation of proof* of}{Continuation of proof* of} +\providetranslation{continuation of proof* of}{continuation of proof* of} diff --git a/wip/translator-proof-dictionary-German.dict b/wip/translator-proof-dictionary-German.dict new file mode 100644 index 0000000..c01e8d7 --- /dev/null +++ b/wip/translator-proof-dictionary-German.dict @@ -0,0 +1,60 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% Copyright © 2022 Maximilian Keßler +% +% Permission is hereby granted, free of charge, to any person obtaining a copy +% of this software and associated documentation files (the “Software”), to deal +% in the Software without restriction, including without limitation the rights +% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +% copies of the Software, and to permit persons to whom the Software is +% furnished to do so, subject to the following conditions: +% The above copyright notice and this permission notice shall be included in all +% copies or substantial portions of the Software. +% +% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +% SOFTWARE. +% +% This dictionary has been generated by PyTeX, available at +% https://github.com/kesslermaximilian/PyTeX +% and built from source file 'proof.pydict'. +% It is STRONGLY DISCOURAGED to edit this source file directly, since local +% changes will not be versioned by Git and overwritten by the next build. Always +% edit the source file and build the dictionary again. +% +% Build details: +% PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7) +% Source code version: v2.4.3 (commit bc072ff) +% +% This LaTeX dictionary is free software and distributed under the MIT License. You +% may use it freely for your purposes. The latest version of the dictionary can be +% obtained via GitHub under +% https://github.com/kesslermaximilian/LatexPackages +% For further information see the url above. +% Reportings of bugs, suggestions and improvements are welcome, see the README +% at the Git repository for further information. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\ProvidesDictionary{translator-proof-dictionary}{German} + +\providetranslation{Claim}{Behauptung} +\providetranslation{claim}{Behauptung} +\providetranslation{Proof}{Beweis} +\providetranslation{proof}{Beweis} +\providetranslation{Proof*}{Beweis*} +\providetranslation{proof*}{Beweis*} +\providetranslation{Proof of}{Beweis von} +\providetranslation{proof of}{Beweis von} +\providetranslation{Proof* of}{Beweis* von} +\providetranslation{proof* of}{Beweis* von} +\providetranslation{Continuation of proof}{Fortsetzung des Beweises} +\providetranslation{continuation of proof}{Fortsetzung des Beweises} +\providetranslation{Continuation of proof of}{Fortsetzung des Beweises zu} +\providetranslation{continuation of proof of}{Fortsetzung des Beweises zu} +\providetranslation{Continuation of proof*}{Fortsetzung des Beweises*} +\providetranslation{continuation of proof*}{Fortsetzung des Beweises*} +\providetranslation{Continuation of proof* of}{Fortsetzung des Beweises* zu} +\providetranslation{continuation of proof* of}{Fortsetzung des Beweises* zu}