proof-at-the-end (1feb22)

git-svn-id: svn://tug.org/texlive/trunk@61844 c570f23f-e606-0410-a88d-b1316a301751

6 files changed, 57 insertions, 30 deletions

diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
index c1110368753..5e7a2f9b957 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
@@ -48,7 +48,7 @@ If `proof-at-the-end` it's not installed in your CTAN distribution, copy the [`p
   And I am a proof.
 \end{proofE}
 ```
-The options (here `restate` and `end`) tells what should go in appendix, how to configure the links... Here the proof should go in appendix, and the `restate` options states that the theorem should be restated before the proof.
+The options (here `restate` and `end`) tells what should go in appendix, how to configure the links... Here the proof should go in appendix, and the `restate` options states that the theorem 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 `\begin{thmE}[][end, text link=]` (the option `text link` is used to choose the text of the link to the proof, writting `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 the github page). Just make sure to compile twice to get references.
 
@@ -69,14 +69,15 @@ You can directly copy them (with a more complete demo) in the github page here h
 \newcommand{\thmautorefname}{Theorem}
 
 %% Load the library. createShortEnv automatically creates the shortcuts
-%% thmE, theoremE, lemmaE, corrolaryE, proofE. See \newEndThm for more details.
+%% thmE, theoremE, lemmaE, propositionE, corollaryE, proofE. See \newEndThm for more details.
 \usepackage[createShortEnv]{proof-at-the-end}
 
 \begin{document}
 
 \section{Theorems}
 
-\begin{thmE}[My title][end]
+%% If you don't have any title, leave an empty bracket like \begin{thmE}[][end]
+\begin{thmE}[My title][end, restate]
   I am a theorem
 \end{thmE}
 \begin{proofE}
@@ -184,7 +185,7 @@ For example:
 \end{proofEnd}
 ```
 
-Since `theoremEnd` may be a bit verbose to use, we provide since the version 2022/01/28, an option: if you load the program using `\usepackage[createShortEnv]{proof-at-the-end}`, you will automatically have the shortcut environments `proofE` (to replace `proof`), `thmE` (to replace `thm`), `theoremE` (to replace... ok you got the pattern), `lemmaE` and `corollaryE`. Note that it is your role to define the initial commands `thm`..., but you don't need to define them all, only those that you use. Then, you can use them like:
+Since `theoremEnd` may be a bit verbose to use, we provide since the version 2022/01/28, an option: if you load the program using `\usepackage[createShortEnv]{proof-at-the-end}`, you will automatically have the shortcut environments `proofE` (to replace `proof`), `thmE` (to replace `thm`), `theoremE` (to replace... ok you got the pattern), `lemmaE`, `propositionE` and `corollaryE`. Note that it is your role to define the initial commands `thm`..., but you don't need to define them all, only those that you use. Then, you can use them like:
 
 ```latex
 \begin{thmE}[My title][end, restate]
@@ -527,6 +528,10 @@ In anycase, there exists some workarounds, some of the are for instance give in
 
 ## Changelog
 
+- 2022/02/01:
+  1. Fix a typo when defining the shortcut for lemma
+  2. Add a shortcut for proposition
+  3. Fix a small spacing issue in the text before the proof in Appendix
 - 2022/01/28:
   1. Fix the issue when using sharps in a proof https://github.com/leo-colisson/proof-at-the-end/issues/7.
   2. Provide `\newEndThm`, `\newEndProof` and the option `createShortEnv` to quickly create environments.
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
index 63ce2cb59f2..7672d466314 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
index 2186bcc8233..ac5ddf1d5c7 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
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
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