From a7b1aa320c5c210f2f287f55af834a8ee8628cfa Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 28 Jan 2021 22:08:51 +0000 Subject: ebproof (28jan21) git-svn-id: svn://tug.org/texlive/trunk@57544 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/source/latex/ebproof/ebproof.dtx | 37 +++++++++++++++------- Master/texmf-dist/source/latex/ebproof/ebproof.ins | 2 +- 2 files changed, 27 insertions(+), 12 deletions(-) (limited to 'Master/texmf-dist/source/latex') diff --git a/Master/texmf-dist/source/latex/ebproof/ebproof.dtx b/Master/texmf-dist/source/latex/ebproof/ebproof.dtx index 71735ffc007..df4f11f0cab 100644 --- a/Master/texmf-dist/source/latex/ebproof/ebproof.dtx +++ b/Master/texmf-dist/source/latex/ebproof/ebproof.dtx @@ -1,6 +1,6 @@ % \iffalse meta-comment % -% Copyright (C) 2015-2020 by Emmanuel Beffara +% Copyright (C) 2015-2021 by Emmanuel Beffara % % This file may be distributed and/or modified under the conditions of the % LaTeX Project Public License, either version 1.3 of this license or (at @@ -49,7 +49,7 @@ % }^^A % } % -% \date{Version 2.1 -- Released 2020-08-19} +% \date{Version 2.1.1 -- Released 2021-01-28} % % \maketitle % @@ -648,6 +648,13 @@ % This section lists the principal evolutions of the package, in reverse % chronological order. % \begin{description} +% \item[Version 2.1.1 (2021-01-28)] +% Bugfix release, no changes in the user interface. +% \begin{itemize} +% \item Fixes a deprecation issue with \LaTeX3 release 2021-01-09 and +% various warnings that appear in \LaTeX3 debugging mode. +% \item Fixes \cmd{proof style=downwards}. +% \end{itemize} % \item[Version 2.1 (2020-08-19)] % Mostly a bugfix release. % \begin{itemize} @@ -694,7 +701,7 @@ \NeedsTeXFormat{LaTeX2e} \RequirePackage{expl3} \RequirePackage{xparse} -\ProvidesExplPackage{ebproof}{2020/08/19}{2.1}{EB's proof trees} +\ProvidesExplPackage{ebproof}{2021/01/28}{2.1.1}{EB's proof trees} %<@@=ebproof> % \end{macrocode} % @@ -704,6 +711,7 @@ % section~\ref{sec:options}. % % \begin{macrocode} +\bool_new:N \l_@@_updown_bool \keys_define:nn { ebproof } { center .bool_set:N = \l_@@_center_bool, proof~style .choice: , @@ -828,18 +836,25 @@ label~axis .dim_set:N = \l_@@_label_axis_dim, % \begin{macro}{\@@_new:N} % Using only public interfaces forces a convoluted approach to allocation: % we use a global counter \cs{g_ebproof_register_int} to number registers, -% then each allocation creates registers named \cs{g_ebproof_K_N} where K is -% the kind of component (box or marks) and N is the identifier of the +% then each allocation creates registers named \cs{S_ebproof_K_N} where +% S is the scope of the register (local or global, deduced from the argument), +% K is the kind of component (box or marks) and N is the identifier of the % register. The proof box register itself only contains the identifier used % for indirection. % \begin{macrocode} \int_new:N \g_@@_register_int -\cs_new:Nn \@@_box:N { g__ebproof_box_ \tl_use:N #1 } -\cs_new:Nn \@@_marks:N { g__ebproof_marks_ \tl_use:N #1 } +\cs_new:Nn \@@_box:N { + \str_item:nn { #1 } { 2 } __ebproof_ \tl_use:N #1 _box +} +\cs_new:Nn \@@_marks:N { + \str_item:nn { #1 } { 2 } __ebproof_ \tl_use:N #1 _prop +} \cs_new:Nn \@@_new:N { \tl_new:N #1 \int_gincr:N \g_@@_register_int - \tl_gset:Nx #1 { \int_to_arabic:n { \g_@@_register_int } } + \str_if_eq:eeTF { \str_item:nn { #1 } { 2 } } { g } + { \tl_gset:Nx #1 { \int_to_arabic:n { \g_@@_register_int } } } + { \tl_set:Nx #1 { \int_to_arabic:n { \g_@@_register_int } } } \box_new:c { \@@_box:N #1 } \prop_new:c { \@@_marks:N #1 } } @@ -1068,7 +1083,7 @@ label~axis .dim_set:N = \l_@@_label_axis_dim, % \begin{macrocode} \cs_new:Nn \@@_append_below:NN { \@@_align:NN #1 #2 - \vbox_set_top:Nn #1 { + \vbox_set_top:cn { \@@_box:N #1 } { \box_use:c { \@@_box:N #1 } \tex_prevdepth:D -1000pt \box_use:c { \@@_box:N #2 } @@ -1235,7 +1250,7 @@ label~axis .dim_set:N = \l_@@_label_axis_dim, \hbox_unpack:N \g_@@_stack_box \box_gset_to_last:N \g_tmpa_box } - \box_set_eq_clear:cN { \@@_box:N #1 } \g_tmpa_box + \box_set_eq_drop:cN { \@@_box:N #1 } \g_tmpa_box \seq_gpop_left:NN \g_@@_stack_seq \l_tmpa_tl \tl_set_eq:cN { \@@_marks:N #1 } \l_tmpa_tl } { @@ -1383,7 +1398,7 @@ label~axis .dim_set:N = \l_@@_label_axis_dim, % \begin{macrocode} \cs_new:Nn \@@_new_statement:nnn { \exp_args:Nc \NewDocumentCommand { ebproof#1 }{ #2 } { #3 } - \seq_put_right:Nn \g_@@_statements_seq { #1 } + \seq_gput_right:Nn \g_@@_statements_seq { #1 } } % \end{macrocode} % \end{macro} diff --git a/Master/texmf-dist/source/latex/ebproof/ebproof.ins b/Master/texmf-dist/source/latex/ebproof/ebproof.ins index 25bcc734965..2a62d0abae9 100644 --- a/Master/texmf-dist/source/latex/ebproof/ebproof.ins +++ b/Master/texmf-dist/source/latex/ebproof/ebproof.ins @@ -1,4 +1,4 @@ -%% Copyright (C) 2015-2018 by Emmanuel Beffara +%% Copyright (C) 2015-2021 by Emmanuel Beffara %% %% This file may be distributed and/or modified under the conditions of the %% LaTeX Project Public License, either version 1.3 of this license or (at -- cgit v1.2.3