summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx')
-rw-r--r--macros/latex/contrib/proof-at-the-end/proof-at-the-end.dtx42
1 files changed, 19 insertions, 23 deletions
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 06688d590c..553c48999a 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/"
% -author "Léo Colisson"
% -doc "../doc/proof-at-the-end_doc.tex"
% -src "proof-at-the-end\.sty=>proof-at-the-end.sty"
-% -dir "/tmp/proof-at-the-end/"
% proof-at-the-end
-% Created on 2022/8/24 17:25
+% Created on 2024/1/26 15:25
%\fi
%\iffalse
%<*package>
@@ -29,7 +29,7 @@
%\fi
% \iffalse
% Doc-Source file to use with LaTeX2e
-% Copyright (C) 2022 Léo Colisson, all rights reserved.
+% Copyright (C) 2024 Léo Colisson, all rights reserved.
% \fi
% \iffalse
%<*driver>
@@ -68,15 +68,6 @@
\KOMAoptions{parskip=half}}
\makeatother
\usepackage{xcolor}
-\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
-\IfFileExists{bookmark.sty}{\usepackage{bookmark}}{\usepackage{hyperref}}
-\hypersetup{
- pdftitle={Proof-at-the-end, or how to move proofs in appendix in LaTeX},
- pdfauthor={Léo Colisson},
- hidelinks,
- pdfcreator={LaTeX via pandoc}}
-\urlstyle{same} % disable monospaced font for URLs
-\usepackage[margin=1in]{geometry}
\usepackage{color}
\usepackage{fancyvrb}
\newcommand{\VerbBar}{|}
@@ -88,7 +79,7 @@
\newcommand{\AnnotationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
\newcommand{\AttributeTok}[1]{\textcolor[rgb]{0.49,0.56,0.16}{#1}}
\newcommand{\BaseNTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
-\newcommand{\BuiltInTok}[1]{#1}
+\newcommand{\BuiltInTok}[1]{\textcolor[rgb]{0.00,0.50,0.00}{#1}}
\newcommand{\CharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{#1}}
\newcommand{\CommentTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textit{#1}}}
\newcommand{\CommentVarTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
@@ -101,7 +92,7 @@
\newcommand{\ExtensionTok}[1]{#1}
\newcommand{\FloatTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{#1}}
\newcommand{\FunctionTok}[1]{\textcolor[rgb]{0.02,0.16,0.49}{#1}}
-\newcommand{\ImportTok}[1]{#1}
+\newcommand{\ImportTok}[1]{\textcolor[rgb]{0.00,0.50,0.00}{\textbf{#1}}}
\newcommand{\InformationTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textbf{\textit{#1}}}}
\newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
\newcommand{\NormalTok}[1]{#1}
@@ -135,6 +126,14 @@
\ifLuaTeX
\usepackage{selnolig} % disable illegal ligatures
\fi
+\IfFileExists{bookmark.sty}{\usepackage{bookmark}}{\usepackage{hyperref}}
+\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
+\urlstyle{same} % disable monospaced font for URLs
+\hypersetup{
+ pdftitle={Proof-at-the-end, or how to move proofs in appendix in LaTeX},
+ pdfauthor={Léo Colisson},
+ hidelinks,
+ pdfcreator={LaTeX via pandoc}}
\title{Proof-at-the-end, or how to move proofs in appendix in LaTeX}
\author{Léo Colisson}
@@ -207,7 +206,7 @@
%Disclaimer: This package is still in beta and not considered as stable.
%
%This package is licensed under LPPL v1.3, and the last version of this
-%package on CTAN is 2022/08/24.
+%package on CTAN is 2019/05/21.
%
%\hypertarget{demo}{%
%\section{Demo}\label{demo}}
@@ -1240,9 +1239,6 @@
%\begin{itemize}
%\tightlist
%\item
-% 2022/08/24: Fix the issues on KOMA classes
-% https://github.com/leo-colisson/proof-at-the-end/issues/11
-%\item
% 2022/02/07:
%
% \begin{enumerate}
@@ -1360,7 +1356,7 @@
% \end{macrocode}
%\fi
\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{proof-at-the-end}[2022/08/24 A package to move proofs in appendix]
+\ProvidesPackage{proof-at-the-end}[2024/01/26 A package to move proofs in appendix]
\RequirePackage{etoolbox}
\RequirePackage{thmtools}
@@ -1633,7 +1629,7 @@
% The first mandatory option is the type of the theorem (thm,lemma,...)
% The second facultative argument will be the title
% the second mandatory option is the theorem (will \label inside eventually)
- % the last mandatory option is the proof
+ % the last mandatory option is the proof, or, if restated, the name of the theorem.
\global\def\pratendlastoptions{#1}%
\pgfkeys{%
/prAtEnd/.cd,
@@ -1699,7 +1695,7 @@
\end{theoremEndOrig}%
}{}
-\NewDocumentEnvironment{proofEndOrig}{O{}+b}{
+\NewDocumentEnvironment{proofEndOrig}{O{}+b}{%
\pgfkeys{%
/prAtEnd/.cd,
all defaults,
@@ -1707,7 +1703,7 @@
prAtEndTmpStyle,
#1
}%
- \unless\ifallattheend
+ \unless\ifallattheend%
%% Write eventually a link to the proof
\iflinktoproof%
\pratendtextlink{}%
@@ -1861,7 +1857,7 @@
}%
\NewDocumentCommand\pratendSectionlikeCref{}{%
% \pratendRef{proofsection:prAtEnd\pratendcountercurrent}% This is not robust enough. Lets change strategy.
- \expandafter\pratendRef{\pratendLabelProofSection}
+ \expandafter\pratendRef{\pratendLabelProofSection}%
}
\ifpratendOptdisablePatchSection%
\else %