texlive[61844] Master/texmf-dist: proof-at-the-end (1feb22)
commits+karl at tug.org
commits+karl at tug.org
Tue Feb 1 23:10:26 CET 2022
Revision: 61844
http://tug.org/svn/texlive?view=revision&revision=61844
Author: karl
Date: 2022-02-01 23:10:26 +0100 (Tue, 01 Feb 2022)
Log Message:
-----------
proof-at-the-end (1feb22)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
trunk/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
trunk/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
trunk/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
Modified: trunk/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
===================================================================
--- trunk/Master/texmf-dist/doc/latex/proof-at-the-end/README.md 2022-02-01 22:10:09 UTC (rev 61843)
+++ trunk/Master/texmf-dist/doc/latex/proof-at-the-end/README.md 2022-02-01 22:10:26 UTC (rev 61844)
@@ -48,7 +48,7 @@
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,7 +69,7 @@
\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}
@@ -76,7 +76,8 @@
\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 @@
\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 @@
## 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.
Modified: trunk/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx 2022-02-01 22:10:09 UTC (rev 61843)
+++ trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx 2022-02-01 22:10:26 UTC (rev 61844)
@@ -1,12 +1,12 @@
%\iffalse
% proof-at-the-end.dtx generated using makedtx version 1.2 (c) Nicola Talbot
% Command line args:
+% -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"
-% -author "Léo Colisson"
-% -src "proof-at-the-end\.sty=>proof-at-the-end.sty"
% 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,7 +285,7 @@
%\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{\}}
@@ -287,7 +292,8 @@
%
%\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 at sectionlike@stored at label%
\let\@currentlabel\pratend at sectionlike@stored at 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
Modified: trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
===================================================================
--- trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins 2022-02-01 22:10:09 UTC (rev 61843)
+++ trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins 2022-02-01 22:10:26 UTC (rev 61844)
@@ -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
Modified: trunk/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty 2022-02-01 22:10:09 UTC (rev 61843)
+++ trunk/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty 2022-02-01 22:10:26 UTC (rev 61844)
@@ -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 at sectionlike@stored at label%
\let\@currentlabel\pratend at sectionlike@stored at 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
More information about the tex-live-commits
mailing list.