texlive[69602] Master/texmf-dist: proof-at-the-end (26jan24)
commits+karl at tug.org
commits+karl at tug.org
Fri Jan 26 23:01:07 CET 2024
Revision: 69602
https://tug.org/svn/texlive?view=revision&revision=69602
Author: karl
Date: 2024-01-26 23:01:07 +0100 (Fri, 26 Jan 2024)
Log Message:
-----------
proof-at-the-end (26jan24)
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 2024-01-26 22:00:56 UTC (rev 69601)
+++ trunk/Master/texmf-dist/doc/latex/proof-at-the-end/README.md 2024-01-26 22:01:07 UTC (rev 69602)
@@ -22,7 +22,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.
+This package is licensed under LPPL v1.3, and the last version of this package on CTAN is 2019/05/21.
## Demo ##
@@ -573,7 +573,6 @@
## Changelog
-- 2022/08/24: Fix the issues on KOMA classes https://github.com/leo-colisson/proof-at-the-end/issues/11
- 2022/02/07:
1. [issue 2](https://github.com/leo-colisson/proof-at-the-end/issues/2) was not really solved in fact... Now, I use a more robust method to detect the current section: I write in an AUX file the label of the proof section. This way, I don't need anymore to use dirty tricks to recover the section label.
2. Change the default text when the appendix is in an external file, and add options like `text link external appendix` to customize the text appearing when the appendix is in an external file. Of course, you can still change it using `text link` directly.
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 2024-01-26 22:00:56 UTC (rev 69601)
+++ trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx 2024-01-26 22:01:07 UTC (rev 69602)
@@ -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 %
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 2024-01-26 22:00:56 UTC (rev 69601)
+++ trunk/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins 2024-01-26 22:01:07 UTC (rev 69602)
@@ -1,10 +1,10 @@
-% proof-at-the-end.ins generated using makedtx version 1.2 2022/8/24 17:25
+% proof-at-the-end.ins generated using makedtx version 1.2 2024/1/26 15:25
\input docstrip
\preamble
proof-at-the-end.dtx
- Copyright 2022 Léo Colisson
+ Copyright 2024 Léo Colisson
This work may be distributed and/or modified under the
conditions of the LaTeX Project Public License, either version 1.3
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 2024-01-26 22:00:56 UTC (rev 69601)
+++ trunk/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty 2024-01-26 22:01:07 UTC (rev 69602)
@@ -7,7 +7,7 @@
%% proof-at-the-end.dtx (with options: `proof-at-the-end.sty,package')
%%
%% proof-at-the-end.dtx
-%% Copyright 2022 Léo Colisson
+%% Copyright 2024 Léo Colisson
%%
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3
@@ -39,7 +39,7 @@
%% Grave accent \` Left brace \{ Vertical bar \|
%% Right brace \} Tilde \~}
\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}
@@ -306,7 +306,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,
@@ -371,7 +371,7 @@
\end{theoremEndOrig}%
}{}
-\NewDocumentEnvironment{proofEndOrig}{O{}+b}{
+\NewDocumentEnvironment{proofEndOrig}{O{}+b}{%
\pgfkeys{%
/prAtEnd/.cd,
all defaults,
@@ -379,7 +379,7 @@
prAtEndTmpStyle,
#1
}%
- \unless\ifallattheend
+ \unless\ifallattheend%
%% Write eventually a link to the proof
\iflinktoproof%
\pratendtextlink{}%
@@ -518,7 +518,7 @@
}%
\NewDocumentCommand\pratendSectionlikeCref{}{%
% \pratendRef{proofsection:prAtEnd\pratendcountercurrent}% This is not robust enough. Lets change strategy.
- \expandafter\pratendRef{\pratendLabelProofSection}
+ \expandafter\pratendRef{\pratendLabelProofSection}%
}
\ifpratendOptdisablePatchSection%
\else %
More information about the tex-live-commits
mailing list.