rename proof package to refproof
Build branch master (bc072ff) from kesslermaximilian/LatexPackages
This commit is contained in:
parent
2a1386dc01
commit
74edcd4b22
308
build_info.json
308
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
|
||||
}
|
||||
]
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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.
|
||||
|
||||
@ -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]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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}
|
||||
|
||||
@ -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.]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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.]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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.]
|
||||
|
||||
|
||||
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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}
|
||||
|
||||
147
wip/mkessler-refproof.sty
Normal file
147
wip/mkessler-refproof.sty
Normal file
@ -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}}
|
||||
@ -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
|
||||
|
||||
@ -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}
|
||||
|
||||
60
wip/translator-proof-dictionary-English.dict
Normal file
60
wip/translator-proof-dictionary-English.dict
Normal file
@ -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}
|
||||
60
wip/translator-proof-dictionary-German.dict
Normal file
60
wip/translator-proof-dictionary-German.dict
Normal file
@ -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}
|
||||
Loading…
Reference in New Issue
Block a user