diff options
author | Karl Berry <karl@freefriends.org> | 2024-01-26 22:01:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-01-26 22:01:07 +0000 |
commit | e953c37b723cf0055797a2e32d12bb46737531ee (patch) | |
tree | 7f11e6efaf07157dd2f657cafe5e55b92bd29dc8 /Master | |
parent | 06cd744b45d036ae6467d653ee7abb274111f1a6 (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.md | 3 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end.pdf | bin | 329486 -> 332640 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/proof-at-the-end/proof-at-the-end_demo.pdf | bin | 133735 -> 133745 bytes | |||
-rw-r--r-- | Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.dtx | 42 | ||||
-rw-r--r-- | Master/texmf-dist/source/latex/proof-at-the-end/proof-at-the-end.ins | 4 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/proof-at-the-end/proof-at-the-end.sty | 12 |
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 Binary files differindex 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 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 Binary files differindex 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 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 % |