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  %