summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-02-01 22:10:26 +0000
committerKarl Berry <karl@freefriends.org>2022-02-01 22:10:26 +0000
commit38bddb402ca3724721fb61aeca79ca9daf6bbc27 (patch)
treefd77a4b7384a486f1bd1d2fbe42a1d16b815bab6 /Master/texmf-dist/tex
parentff3441c1df98245bcd7dbdc8b21dd5621728782c (diff)
proof-at-the-end (1feb22)
git-svn-id: svn://tug.org/texlive/trunk@61844 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
-rw-r--r--Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty17
1 files changed, 9 insertions, 8 deletions
diff --git a/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty b/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
index 0fad63e1883..0a8180406d2 100644
--- a/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
+++ b/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
@@ -39,7 +39,7 @@
%% Grave accent \` Left brace \{ Vertical bar \|
%% Right brace \} Tilde \~}
\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}
@@ -421,13 +421,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}{
@@ -450,7 +450,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}%
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -468,7 +468,7 @@
% }{}
\NewDocumentEnvironment{#2}{O{}O{}}{%
\begin{theoremEnd}[#1,##2]{#3}[##1]%
- }{\end{theoremEnd}}
+ }{\end{theoremEnd}}%
}
@@ -479,7 +479,7 @@
\begin{proofEnd}[#1,##1]%
##2%
\end{proofEnd}%
- }{}
+ }{}%
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -489,9 +489,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