summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex
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/source/latex
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/source/latex')
-rw-r--r--Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx55
-rw-r--r--Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins2
2 files changed, 39 insertions, 18 deletions
diff --git a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
index 6bb4aa32653..d5f6ac4646c 100644
--- a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
+++ b/Master/texmf-dist/source/latex/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
diff --git a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
index 35ac253c535..3ebaf4fd466 100644
--- a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
+++ b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
@@ -1,4 +1,4 @@
-% proof-at-the-end.ins generated using makedtx version 1.2 2022/1/28 19:43
+% proof-at-the-end.ins generated using makedtx version 1.2 2022/2/1 17:07
\input docstrip
\preamble