diff options
Diffstat (limited to 'macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx')
-rw-r--r-- | macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx | 55 |
1 files changed, 38 insertions, 17 deletions
diff --git a/macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx b/macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx index 6bb4aa3265..d5f6ac4646 100644 --- a/macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx +++ b/macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx @@ -1,12 +1,12 @@ %\iffalse % proof-at-the-end.dtx generated using makedtx version 1.2 (c) Nicola Talbot % Command line args: -% -dir "/home/leo/Documents/Informatique/Programmation/LaTeX/proof-at-the-end/" -% -doc "../doc/proof-at-the-end_doc.tex" % -author "Léo Colisson" % -src "proof-at-the-end\.sty=>proof-at-the-end.sty" +% -dir "/home/leo/Documents/Informatique/Programmation/LaTeX/proof-at-the-end/" +% -doc "../doc/proof-at-the-end_doc.tex" % proof-at-the-end -% Created on 2022/1/28 19:43 +% Created on 2022/2/1 17:07 %\fi %\iffalse %<*package> @@ -251,7 +251,12 @@ %The options (here \texttt{restate} and \texttt{end}) tells what should %go in appendix, how to configure the links\ldots{} Here the proof should %go in appendix, and the \texttt{restate} options states that the theorem -%should be restated before the proof. +%should be restated before the proof. Note that in case you don't want +%any title but do want to add options, make sure to insert an empty pair +%of brackets like in +%\texttt{\textbackslash{}begin\{thmE\}{[}{]}{[}end,\ text\ link={]}} (the +%option \texttt{text\ link} is used to choose the text of the link to the +%proof, writting \texttt{text\ link=} is used to display no link at all). % %You can find below a full example to compile which should produce this %output (sorry, this is a screenshot, that way I can export it easily in @@ -280,14 +285,15 @@ %\FunctionTok{\textbackslash{}newcommand}\NormalTok{\{}\ExtensionTok{\textbackslash{}thmautorefname}\NormalTok{\}\{Theorem\}} % %\CommentTok{\%\% Load the library. createShortEnv automatically creates the shortcuts} -%\CommentTok{\%\% thmE, theoremE, lemmaE, corrolaryE, proofE. See \textbackslash{}newEndThm for more details.} +%\CommentTok{\%\% thmE, theoremE, lemmaE, propositionE, corollaryE, proofE. See \textbackslash{}newEndThm for more details.} %\BuiltInTok{\textbackslash{}usepackage}\NormalTok{[createShortEnv]\{}\ExtensionTok{proof{-}at{-}the{-}end}\NormalTok{\}} % %\KeywordTok{\textbackslash{}begin}\NormalTok{\{}\ExtensionTok{document}\NormalTok{\}} % %\KeywordTok{\textbackslash{}section}\NormalTok{\{Theorems\}} % -%\KeywordTok{\textbackslash{}begin}\NormalTok{\{}\ExtensionTok{thmE}\NormalTok{\}[My title][end]} +%\CommentTok{\%\% If you don\textquotesingle{}t have any title, leave an empty bracket like \textbackslash{}begin\{thmE\}[][end]} +%\KeywordTok{\textbackslash{}begin}\NormalTok{\{}\ExtensionTok{thmE}\NormalTok{\}[My title][end, restate]} %\NormalTok{ I am a theorem} %\KeywordTok{\textbackslash{}end}\NormalTok{\{}\ExtensionTok{thmE}\NormalTok{\}} %\KeywordTok{\textbackslash{}begin}\NormalTok{\{}\ExtensionTok{proofE}\NormalTok{\}} @@ -459,9 +465,10 @@ %you will automatically have the shortcut environments \texttt{proofE} %(to replace \texttt{proof}), \texttt{thmE} (to replace \texttt{thm}), %\texttt{theoremE} (to replace\ldots{} ok you got the pattern), -%\texttt{lemmaE} and \texttt{corollaryE}. Note that it is your role to -%define the initial commands \texttt{thm}\ldots, but you don't need to -%define them all, only those that you use. Then, you can use them like: +%\texttt{lemmaE}, \texttt{propositionE} and \texttt{corollaryE}. Note +%that it is your role to define the initial commands \texttt{thm}\ldots, +%but you don't need to define them all, only those that you use. Then, +%you can use them like: % %\begin{Shaded} %\begin{Highlighting}[] @@ -1119,6 +1126,19 @@ %\begin{itemize} %\tightlist %\item +% 2022/02/01: +% +% \begin{enumerate} +% \def\labelenumi{\arabic{enumi}.} +% \tightlist +% \item +% Fix a typo when defining the shortcut for lemma +% \item +% Add a shortcut for proposition +% \item +% Fix a small spacing issue in the text before the proof in Appendix +% \end{enumerate} +%\item % 2022/01/28: % % \begin{enumerate} @@ -1188,7 +1208,7 @@ % \end{macrocode} %\fi \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{proof-at-the-end}[2022/01/28 A package to move proofs in appendix] +\ProvidesPackage{proof-at-the-end}[2022/02/01 A package to move proofs in appendix] \RequirePackage{etoolbox} \RequirePackage{thmtools} @@ -1589,13 +1609,13 @@ \NewDocumentCommand\pratendSectionlikeCref{}{% \pratendRef{proofsection:prAtEnd\pratendcountercurrent}% } -\NewDocumentCommand\pratendChangeCurrentLabel{}{ +\NewDocumentCommand\pratendChangeCurrentLabel{}{% \ifdefined\pratend@sectionlike@stored@label% \let\@currentlabel\pratend@sectionlike@stored@label% \fi% } -\ifpratendOptdisablePatchSection -\else +\ifpratendOptdisablePatchSection% +\else % %% Add the above command to \chapter if the command exists \ifdef{\@chapter}{ \ifpatchable*{\@chapter}{ @@ -1618,7 +1638,7 @@ %% Instead of \autoref{proof:blabla} use \pratendRef{proof:blabla}, it allows the ref command to be customized %% as an option of the package. \NewDocumentCommand\pratendRef{m}{% - \csname \pratendOptcommandRef\endcsname{#1} + \csname \pratendOptcommandRef\endcsname{#1}% } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -1637,7 +1657,7 @@ % }{} \NewDocumentEnvironment{#2}{O{}O{}}{% \begin{theoremEnd}[#1,##2]{#3}[##1]% - }{\end{theoremEnd}} + }{\end{theoremEnd}}% } % \NewDocumentCommand{\newEndThm}{O{}mm}{% @@ -1661,7 +1681,7 @@ \begin{proofEnd}[#1,##1]% ##2% \end{proofEnd}% - }{} + }{}% } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -1671,9 +1691,10 @@ %%% We create automatically the environments. \newEndProof{proofE} \newEndThm{thmE}{thm} - \newEndThm{lemmaE}{lemmaE} + \newEndThm{lemmaE}{lemma} \newEndThm{theoremE}{theorem} \newEndThm{corollaryE}{corollary} + \newEndThm{propositionE}{proposition} \fi \endinput |