summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/proof-at-the-end
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-02-02 03:04:47 +0000
committerNorbert Preining <norbert@preining.info>2022-02-02 03:04:47 +0000
commit460879b45ff6e83765da88734e8cc0c6da5043eb (patch)
tree8bbeaad213d6647db82d17b25a6ffd5bab08da18 /macros/latex/contrib/proof-at-the-end
parent811714247a66acfce87bba00b9758441ff9d1413 (diff)
CTAN sync 202202020304
Diffstat (limited to 'macros/latex/contrib/proof-at-the-end')
-rw-r--r--macros/latex/contrib/proof-at-the-end/README.md13
-rw-r--r--macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx55
-rw-r--r--macros/latex/contrib/proof-at-the-end/proof-at-the-end.ins2
-rw-r--r--macros/latex/contrib/proof-at-the-end/proof-at-the-end.pdfbin347459 -> 315974 bytes
-rw-r--r--macros/latex/contrib/proof-at-the-end/proof-at-the-end_demo.pdfbin121561 -> 121558 bytes
5 files changed, 48 insertions, 22 deletions
diff --git a/macros/latex/contrib/proof-at-the-end/README.md b/macros/latex/contrib/proof-at-the-end/README.md
index c111036875..5e7a2f9b95 100644
--- a/macros/latex/contrib/proof-at-the-end/README.md
+++ b/macros/latex/contrib/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/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
diff --git a/macros/latex/contrib/proof-at-the-end/proof-at-the-end.ins b/macros/latex/contrib/proof-at-the-end/proof-at-the-end.ins
index 35ac253c53..3ebaf4fd46 100644
--- a/macros/latex/contrib/proof-at-the-end/proof-at-the-end.ins
+++ b/macros/latex/contrib/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/macros/latex/contrib/proof-at-the-end/proof-at-the-end.pdf b/macros/latex/contrib/proof-at-the-end/proof-at-the-end.pdf
index 63ce2cb59f..7672d46631 100644
--- a/macros/latex/contrib/proof-at-the-end/proof-at-the-end.pdf
+++ b/macros/latex/contrib/proof-at-the-end/proof-at-the-end.pdf
Binary files differ
diff --git a/macros/latex/contrib/proof-at-the-end/proof-at-the-end_demo.pdf b/macros/latex/contrib/proof-at-the-end/proof-at-the-end_demo.pdf
index 2186bcc823..ac5ddf1d5c 100644
--- a/macros/latex/contrib/proof-at-the-end/proof-at-the-end_demo.pdf
+++ b/macros/latex/contrib/proof-at-the-end/proof-at-the-end_demo.pdf
Binary files differ