From 11db88ce87c952d412622cd1afd2a7537cdfdae2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 11 Jan 2022 23:14:58 +0100 Subject: [PATCH] remove old build files that have been moved --- ...matical-categories-dictionary-English.dict | 58 ------- ...ematical-categories-dictionary-German.dict | 58 ------- wip/mkessler-proof.sty | 144 ------------------ 3 files changed, 260 deletions(-) delete mode 100644 math/translator-mathematical-categories-dictionary-English.dict delete mode 100644 math/translator-mathematical-categories-dictionary-German.dict delete mode 100644 wip/mkessler-proof.sty diff --git a/math/translator-mathematical-categories-dictionary-English.dict b/math/translator-mathematical-categories-dictionary-English.dict deleted file mode 100644 index 0168f6b..0000000 --- a/math/translator-mathematical-categories-dictionary-English.dict +++ /dev/null @@ -1,58 +0,0 @@ -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% 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 'mathematical-categories.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-16-gd1806d9 (commit d1806d9) -% Source code version: v2.5.1-1-gda44daa (commit da44daa) -% -% 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-mathematical-categories-dictionary}{English} - -\providetranslation{Index of categories}{Index of categories} -\providetranslation{Top (Category description)}{spaces and continuous maps} -\providetranslation{Set (Category description)}{Sets and functions} -\providetranslation{hTop (Category description)}{Spaces and homotopy classes of continuous maps} -\providetranslation{CHaus (Category description)}{Compact hausdorff spaces and continuous maps} -\providetranslation{Grp (Category description)}{Groups and homomorphisms} -\providetranslation{Ab (Category description)}{Abelian groups and homomorphisms} -\providetranslation{CRing (Category description)}{Commutative rings and homomorphisms} -\providetranslation{Ring (Category description)}{Rings and homomorphisms} -\providetranslation{Vect (Category description)}{$k$-vector spaces and linear maps} -\providetranslation{Cat (Category description)}{Small categories and functors} -\providetranslation{Mod (Category description)}{Left $R$-modules and homomorphisms} -\providetranslation{Alg (Category description)}{$k$-algebras and homomorphisms} -\providetranslation{Field (Category description)}{Fields and field extensions} -\providetranslation{AffVar (Category description)}{Affine Varieties over $k$} -\providetranslation{Sch (Category description)}{Schemes and homomorphisms} diff --git a/math/translator-mathematical-categories-dictionary-German.dict b/math/translator-mathematical-categories-dictionary-German.dict deleted file mode 100644 index 8975b04..0000000 --- a/math/translator-mathematical-categories-dictionary-German.dict +++ /dev/null @@ -1,58 +0,0 @@ -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% 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 'mathematical-categories.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-16-gd1806d9 (commit d1806d9) -% Source code version: v2.5.1-1-gda44daa (commit da44daa) -% -% 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-mathematical-categories-dictionary}{German} - -\providetranslation{Index of categories}{Kategorienverzeichnis} -\providetranslation{Top (Category description)}{Räume und stetige Abbildungen} -\providetranslation{Set (Category description)}{Mengen und Funktionen} -\providetranslation{hTop (Category description)}{Räume und Homotopieklassen von stetigen Abbildungen} -\providetranslation{CHaus (Category description)}{Kompakte Hausdorffräume und stetige Abbildungen} -\providetranslation{Grp (Category description)}{Gruppen und Homomorphismen} -\providetranslation{Ab (Category description)}{Abelsche Gruppen und Homomoorphismen} -\providetranslation{CRing (Category description)}{Kommutative Ringe und Homomorphismen} -\providetranslation{Ring (Category description)}{Ringe und Homomorphismen} -\providetranslation{Vect (Category description)}{Vektorräume und lineare Abbildungen} -\providetranslation{Cat (Category description)}{Kleine Kategorien und Funktoren} -\providetranslation{Mod (Category description)}{$R$-Linksmodule und Homomorphismen} -\providetranslation{Alg (Category description)}{$k$-Algebren und Homomorphismen} -\providetranslation{Field (Category description)}{Körper und Körpererweiterungen} -\providetranslation{AffVar (Category description)}{Affine Varietäten über $k$} -\providetranslation{Sch (Category description)}{Schemata und Homomorphismen} diff --git a/wip/mkessler-proof.sty b/wip/mkessler-proof.sty deleted file mode 100644 index 9f79a39..0000000 --- a/wip/mkessler-proof.sty +++ /dev/null @@ -1,144 +0,0 @@ -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% Copyright © 2021 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 'proof.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.0.0-18 (commit 126d420) -% Source code version: v2.2.2-3 (commit 1113e0d) -% -% 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-proof}[2021/10/24 - Automatic references to theorems in proofs. Claim counters within proofs] - - - -\RequirePackage{xkeyval} - -\newif\ifmkessler@proof@english\mkessler@proof@englishtrue -\DeclareOptionX{german}{\mkessler@proof@englishfalse} -\DeclareOptionX{ngerman}{\mkessler@proof@englishfalse} -\DeclareOptionX{english}{\mkessler@proof@englishtrue} - -\DeclareOptionX*{\PackageWarning{mkessler-proof}{Unknown '\CurrentOption'}} -\ProcessOptionsX*\relax - - -\RequirePackage{amssymb} -\RequirePackage{amsthm} -\RequirePackage{etoolbox} -\RequirePackage{xparse} - -%%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}{\ifmkessler@proof@english Claim\else Behauptung\fi} -\newtheorem*{claim*}{\ifmkessler@proof@english Claim\else Behauptung\fi} -\AtBeginDocument{\def\claimautorefname{\ifmkessler@proof@english Claim\else Behauptung\fi}} - -\newif\ifmkessler@proof@hyperref\mkessler@proof@hyperreffalse -\AtBeginDocument{ - \@ifpackageloaded{hyperref}{ - \mkessler@proof@hyperreftrue - \def\grab#1{\expandafter\@firstoffive#1} - \def\mkessler@proof@blankref#1{\expandafter\grab\csname r@#1\endcsname} - \let\mkessler@proof@autoref\autoref - }{ - \mkessler@proof@hyperreftrue - \let\mkessler@proof@blankref\ref - \let\mkessler@proof@autoref\ref - } -} - -\NewDocumentEnvironment{rproof}{m O{}}{\def\mkessler@proof@aster{\relax}\begin{mkessler@proof@rproof@impl}{#1}[#2]}{\end{mkessler@proof@rproof@impl}} -\NewDocumentEnvironment{rproof*}{m O{}}{\def\mkessler@proof@aster{*}\begin{mkessler@proof@rproof@impl}{#1}[#2]}{\end{mkessler@proof@rproof@impl}} - -\NewDocumentEnvironment{mkessler@proof@rproof@impl}{m O{}} -{ - % Restore correct counter for claim - \ifcsdef{themkessler@proof@#1@save@claim}{ - \setcounter{claim}{\value{mkessler@proof@#1@save@claim}} - \def\mkessler@proof@proofprefix{\ifmkessler@proof@english Continuation of proof\mkessler@proof@aster\space of\else Fortsetzung des Beweises\mkessler@proof@aster\space zu\fi} - \edef\haha{\value{mkessler@proof@#1@part}} - }{ - \newcounter{mkessler@proof@#1@save@claim} - \setcounter{claim}{0} - \def\mkessler@proof@proofprefix{\ifmkessler@proof@english Proof\mkessler@proof@aster\space of\else Beweis\mkessler@proof@aster\space von\fi} - } - % Set up counter number printing as subindexed by numbering of the reference - \let\mkessler@proof@theoldclaim\theclaim - \def\theclaim{\mkessler@proof@blankref{#1}.\mkessler@proof@theoldclaim} - % Now, start the actual proof - \begin{proof}[\mkessler@proof@proofprefix\space\mkessler@proof@autoref{#1}\if\relax\detokenize{#2}\relax\else\space(#2)\fi] -} -{ - \end{proof} % End proof - % Save current claim counter for later restoration - \setcounter{mkessler@proof@#1@save@claim}{\value{claim}} -} - -% Proof (with asterisk) -\NewDocumentEnvironment{proof*}{O{}} -{ - \if\relax\detokenize{#1}\relax\begin{proof}[\ifmkessler@proof@english Proof\emph{*}\else Beweis\emph{*}\fi]\else\begin{proof}[#1\emph{*}]\fi -} -{ - \end{proof} -} - - -%%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@proof@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@proof@english{}Solution\else{}Lösung\fi{}#1]}{\end{proof}}