summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2024-01-26 22:01:07 +0000
committerKarl Berry <karl@freefriends.org>2024-01-26 22:01:07 +0000
commite953c37b723cf0055797a2e32d12bb46737531ee (patch)
tree7f11e6efaf07157dd2f657cafe5e55b92bd29dc8 /Master
parent06cd744b45d036ae6467d653ee7abb274111f1a6 (diff)
proof-at-the-end (26jan24)
git-svn-id: svn://tug.org/texlive/trunk@69602 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/README.md3
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdfbin329486 -> 332640 bytes
-rw-r--r--Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdfbin133735 -> 133745 bytes
-rw-r--r--Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx42
-rw-r--r--Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins4
-rw-r--r--Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty12
6 files changed, 28 insertions, 33 deletions
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
index f1f061c4786..9f27306c59a 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/README.md
@@ -22,7 +22,7 @@ NB: This project is hosted on github at [https://github.com/leo-colisson/proof-a
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 @@ In anycase, there exists some workarounds, some of the are for instance give in
## 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.
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
index 64cfb5be1bb..2e3ec76ba41 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
index 7e6e7fd1b84..81d8cb32725 100644
--- a/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
+++ b/Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf
Binary files differ
diff --git a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
index 06688d590c7..553c48999a1 100644
--- a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx
+++ b/Master/texmf-dist/source/latex/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 %
diff --git a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
index c88dd83f369..81cf02f4067 100644
--- a/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
+++ b/Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins
@@ -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
diff --git a/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty b/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
index d83d2d95b65..91a007273a9 100644
--- a/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
+++ b/Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty
@@ -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 %