[latex3-commits] [latex3/latex2e] tagging/gh767: fix theorem instances (WIP) (2b21716dd)
github at latex-project.org
github at latex-project.org
Sat Nov 23 13:13:14 CET 2024
Repository : https://github.com/latex3/latex2e
On branch : tagging/gh767
Link : https://github.com/latex3/latex2e/commit/2b21716dd74bbe521e79d20df5a3297af36d6d59
>---------------------------------------------------------------
commit 2b21716dd74bbe521e79d20df5a3297af36d6d59
Author: Frank Mittelbach <frank.mittelbach at latex-project.org>
Date: Sat Nov 23 13:13:14 2024 +0100
fix theorem instances (WIP)
>---------------------------------------------------------------
2b21716dd74bbe521e79d20df5a3297af36d6d59
required/latex-lab/latex-lab-block.dtx | 38 ++++--
.../testfiles-block/blocks-000.luatex.tlg | 1 +
required/latex-lab/testfiles-block/blocks-000.tlg | 1 +
.../testfiles-block/blocks-theorem-01.luatex.tlg | 30 ++---
.../testfiles-block/blocks-theorem-01.tlg | 18 +--
.../testfiles-block/blocks-theorem-02.luatex.tlg | 10 +-
.../testfiles-block/blocks-theorem-02.tlg | 10 +-
.../testfiles-block/blocks-theorem-03.luatex.tlg | 2 +-
.../testfiles-block/blocks-theorem-03.tlg | 2 +-
.../testfiles-block/github-tagging-0767.lvt | 106 +++++++++++++++++
.../testfiles-block/github-tagging-0767.tlg | 129 +++++++++++++++++++++
required/latex-lab/update-blocks-all.sh | 5 +-
12 files changed, 308 insertions(+), 44 deletions(-)
diff --git a/required/latex-lab/latex-lab-block.dtx b/required/latex-lab/latex-lab-block.dtx
index 74d68c495..e46ee2fc1 100644
--- a/required/latex-lab/latex-lab-block.dtx
+++ b/required/latex-lab/latex-lab-block.dtx
@@ -9,8 +9,8 @@
%
% https://www.latex-project.org/lppl.txt
%
-\def\ltlabblockdate{2024-10-11}
-\def\ltlabblockversion{0.8v}
+\def\ltlabblockdate{2024-11-23}
+\def\ltlabblockversion{0.8w}
%<*driver>
\documentclass[kernel]{l3doc}
\usepackage{amstext}
@@ -1916,6 +1916,7 @@
% \begin{template}{block display}
%
% \changes{v0.8s}{2024/10/03}{Offer item-skip key also on block templates}
+% \changes{v0.8w}{2024/11/23}{}
% \begin{macrocode}
\DeclareTemplateCode{block}{display}{1}
{
@@ -1930,7 +1931,7 @@
endpenalty = \@endparpenalty ,
rightmargin = \rightmargin ,
leftmargin = \leftmargin ,
- parindent = \listparindent ,
+ parindent = \l_@@block_parindent_dim ,
}
{
\tl_if_empty:nF {#1} { \SetTemplateKeys{block}{display}{#1} }
@@ -2018,7 +2019,11 @@
}
\skip_set_eq:NN \@outerparskip \parskip
\skip_set_eq:NN \parskip \parsep
- \dim_set_eq:NN \parindent \listparindent
+% \end{macrocode}
+%
+% \changes{v0.8w}{2024/11/23}{}
+% \begin{macrocode}
+ \dim_set_eq:NN \parindent \l_@@block_parindent_dim
\dim_add:Nn \linewidth { - \rightmargin - \leftmargin }
\dim_add:Nn \@totalleftmargin { \leftmargin }
\tex_parshape:D 1 ~ \@totalleftmargin \linewidth
@@ -3098,6 +3103,7 @@
%
%
+% \changes{v0.8w}{2024/11/23}{}
% \begin{macrocode}
\DeclareInstance{blockenv}{theorem}{display}
{
@@ -3108,9 +3114,7 @@
inner-level-counter = ,
level-increase = false,
setup-code = ,
- block-instance = displayblock ,
-% inner-instance-type = innerblock ,
-% inner-instance = theorem,
+ block-instance = theoremblock ,
}
% \end{macrocode}
%
@@ -3356,6 +3360,26 @@
% \end{instance}
%
%
+% \subsubsection{Block instances for the theorems}
+%
+%
+% \begin{instance}{block theoremblock-0 }
+% Theorems do not support nesting, so we have only one to set up.
+% The \LaTeX{} default reused the general value of \cs{parindent}
+% and \cs{parskip} and, of course, they start at the outer margin.
+% \changes{v0.8w}{2024/11/23}{}
+% \begin{macrocode}
+\DeclareInstance{block}{theoremblock-0}{display}
+ {
+ leftmargin = 0pt ,
+ parindent = \parindent ,
+ par-skip = \parskip ,
+ }
+% \end{macrocode}
+% \end{instance}
+%
+%
+%
% \subsubsection{Block instances for the standard lists}
%
% \begin{instance}{block list-1,
diff --git a/required/latex-lab/testfiles-block/blocks-000.luatex.tlg b/required/latex-lab/testfiles-block/blocks-000.luatex.tlg
index 8645f87f5..8bb27c117 100644
--- a/required/latex-lab/testfiles-block/blocks-000.luatex.tlg
+++ b/required/latex-lab/testfiles-block/blocks-000.luatex.tlg
@@ -14,6 +14,7 @@ LaTeX template Info: Declaring template type 'item' taking 1 argument(s) on line
\l__par_start_skip=\skip...
\l__block_botsep_skip=\skip...
\l__block_parbotsep_skip=\skip...
+\l__blockblock_parindent_dim=\dimen...
\l__block_counter_start_int=\count...
\l__block_one_label_box=\box...
\g__block_labels_box=\box...
diff --git a/required/latex-lab/testfiles-block/blocks-000.tlg b/required/latex-lab/testfiles-block/blocks-000.tlg
index d1d395aef..07ce9d2aa 100644
--- a/required/latex-lab/testfiles-block/blocks-000.tlg
+++ b/required/latex-lab/testfiles-block/blocks-000.tlg
@@ -14,6 +14,7 @@ LaTeX template Info: Declaring template type 'item' taking 1 argument(s) on line
\l__par_start_skip=\skip...
\l__block_botsep_skip=\skip...
\l__block_parbotsep_skip=\skip...
+\l__blockblock_parindent_dim=\dimen...
\l__block_counter_start_int=\count...
\l__block_one_label_box=\box...
\g__block_labels_box=\box...
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-01.luatex.tlg b/required/latex-lab/testfiles-block/blocks-theorem-01.luatex.tlg
index ec5d05779..abc8e3e89 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-01.luatex.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-01.luatex.tlg
@@ -43,7 +43,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 11 tagged /text
Package tagpdf Info: closing structure 10 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -120,7 +120,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 22 tagged /text
Package tagpdf Info: closing structure 21 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -154,7 +154,7 @@ Package tagpdf Info: closing structure 26 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 23 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -220,7 +220,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 37 tagged /text
Package tagpdf Info: closing structure 36 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -268,7 +268,7 @@ Package tagpdf Info: closing structure 43 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 38 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -384,16 +384,6 @@ Package tagpdf Info: closing structure 59 tagged /LI
Package tagpdf Info: Parent-Child 'L' --> 'LI'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'L' --> 'LI' on line ...
-Package tagpdf Info: -1 has been pushed to the mc stack
-Package tagpdf Info: -1 has been removed from the mc stack
-Package tagpdf Info: -1 has been pushed to the mc stack
-Package tagpdf Info: -1 has been removed from the mc stack
-tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
-tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
-tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
-tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
-tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact [1
-]
==> template:item:std
Package tagpdf Info: Parent-Child 'LI' --> 'Lbl'.
(tagpdf) Relation is 1 (='0..n')
@@ -418,6 +408,16 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
(tagpdf) Rolemapped from: 'P' --> 'MC' on line ...
Package tagpdf Info: closing structure 68 tagged /text
Package tagpdf Info: closing structure 67 tagged /text-unit
+Package tagpdf Info: -1 has been pushed to the mc stack
+Package tagpdf Info: -1 has been removed from the mc stack
+Package tagpdf Info: -1 has been pushed to the mc stack
+Package tagpdf Info: -1 has been removed from the mc stack
+tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
+tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
+tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
+tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact
+tagpdf: INFO TAG-NOT-TAGGED: this has not been tagged, using artifact [1
+]
Package tagpdf Info: closing structure 66 tagged /LBody
Package tagpdf Info: closing structure 64 tagged /LI
Package tagpdf Info: Parent-Child 'L' --> 'LI'.
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-01.tlg b/required/latex-lab/testfiles-block/blocks-theorem-01.tlg
index 546ab97e6..e434746fc 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-01.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-01.tlg
@@ -40,7 +40,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 11 tagged /text
Package tagpdf Info: closing structure 10 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -117,7 +117,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 22 tagged /text
Package tagpdf Info: closing structure 21 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -151,7 +151,7 @@ Package tagpdf Info: closing structure 26 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 23 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -214,7 +214,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 37 tagged /text
Package tagpdf Info: closing structure 36 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -262,7 +262,7 @@ Package tagpdf Info: closing structure 43 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 38 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -378,10 +378,6 @@ Package tagpdf Info: closing structure 59 tagged /LI
Package tagpdf Info: Parent-Child 'L' --> 'LI'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'L' --> 'LI' on line ...
-The sequence \g__tag_mc_main_marks_seq is empty
-> .
-[1
-]
==> template:item:std
Package tagpdf Info: Parent-Child 'LI' --> 'Lbl'.
(tagpdf) Relation is 1 (='0..n')
@@ -406,6 +402,10 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
(tagpdf) Rolemapped from: 'P' --> 'MC' on line ...
Package tagpdf Info: closing structure 68 tagged /text
Package tagpdf Info: closing structure 67 tagged /text-unit
+The sequence \g__tag_mc_main_marks_seq is empty
+> .
+[1
+]
Package tagpdf Info: closing structure 66 tagged /LBody
Package tagpdf Info: closing structure 64 tagged /LI
Package tagpdf Info: Parent-Child 'L' --> 'LI'.
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-02.luatex.tlg b/required/latex-lab/testfiles-block/blocks-theorem-02.luatex.tlg
index dfc267b23..fd207b57d 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-02.luatex.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-02.luatex.tlg
@@ -117,7 +117,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 11 tagged /text
Package tagpdf Info: closing structure 10 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -162,7 +162,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 18 tagged /text
Package tagpdf Info: closing structure 17 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -196,7 +196,7 @@ Package tagpdf Info: closing structure 22 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 19 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -262,7 +262,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 33 tagged /text
Package tagpdf Info: closing structure 32 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -310,7 +310,7 @@ Package tagpdf Info: closing structure 39 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 34 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-02.tlg b/required/latex-lab/testfiles-block/blocks-theorem-02.tlg
index 5da932d7e..d1b2b7bac 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-02.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-02.tlg
@@ -40,7 +40,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 11 tagged /text
Package tagpdf Info: closing structure 10 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -85,7 +85,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 18 tagged /text
Package tagpdf Info: closing structure 17 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -119,7 +119,7 @@ Package tagpdf Info: closing structure 22 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 19 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -182,7 +182,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 33 tagged /text
Package tagpdf Info: closing structure 32 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
@@ -230,7 +230,7 @@ Package tagpdf Info: closing structure 39 tagged /text-unit
==> block-end on input line ...
Package tagpdf Info: closing structure 34 tagged /theorem-like
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Sect' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Sect' --> 'theorem-like' on line ...
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-03.luatex.tlg b/required/latex-lab/testfiles-block/blocks-theorem-03.luatex.tlg
index 24724e11c..7c4f8a324 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-03.luatex.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-03.luatex.tlg
@@ -12,7 +12,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 6 tagged /text
Package tagpdf Info: closing structure 5 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Document' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Document' --> 'theorem-like' on line ...
diff --git a/required/latex-lab/testfiles-block/blocks-theorem-03.tlg b/required/latex-lab/testfiles-block/blocks-theorem-03.tlg
index 86bba0e2a..43c5a7fd7 100644
--- a/required/latex-lab/testfiles-block/blocks-theorem-03.tlg
+++ b/required/latex-lab/testfiles-block/blocks-theorem-03.tlg
@@ -12,7 +12,7 @@ Package tagpdf Info: Parent-Child 'P' --> 'MC'.
Package tagpdf Info: closing structure 6 tagged /text
Package tagpdf Info: closing structure 5 tagged /text-unit
==> theorem-like-env-start
-==> use instance: displayblock-0
+==> use instance: theoremblock-0
Package tagpdf Info: Parent-Child 'Document' --> 'Sect'.
(tagpdf) Relation is 1 (='0..n')
(tagpdf) Rolemapped from: 'Document' --> 'theorem-like' on line ...
diff --git a/required/latex-lab/testfiles-block/github-tagging-0767.lvt b/required/latex-lab/testfiles-block/github-tagging-0767.lvt
new file mode 100644
index 000000000..04aa2bce6
--- /dev/null
+++ b/required/latex-lab/testfiles-block/github-tagging-0767.lvt
@@ -0,0 +1,106 @@
+
+\DocumentMetadata{
+ testphase=phase-III
+ ,uncompress
+% ,pdfversion=2.0
+ ,debug={
+% para,
+% log=vv
+ }
+}
+
+\DebugBlocksOn
+
+
+\documentclass{article}
+
+\input{regression-test}
+
+\usepackage{kantlipsum}
+
+\newtheorem{theorem}{Theorem}
+
+\begin{document}
+
+\START
+
+\typeout{toplevel ---> \parskip = \the\parskip}
+\typeout{toplevel ---> \parindent = \the\parindent}
+\typeout{toplevel ---> \listparindent = \the\listparindent}
+
+
+\begin{theorem}
+\typeout{theorem ---> \parskip = \the\parskip}
+\typeout{theorem ---> \parindent = \the\parindent}
+\typeout{theorem ---> \listparindent = \the\listparindent}
+ \kant[1][1-2]
+
+ \kant[2][1-2]
+ \begin{enumerate}
+ \typeout{theorem-enumerate-1 ---> \parskip = \the\parskip}
+ \typeout{theorem-enumerate-1 ---> \parindent = \the\parindent}
+ \typeout{theorem-enumerate-1 ---> \listparindent = \the\listparindent}
+ \item abc
+ \item \kant[3][1-2]
+
+ \kant[4][1-2]
+ \begin{enumerate}
+ \typeout{theorem-enumerate-2 ---> \parskip = \the\parskip}
+ \typeout{theorem-enumerate-2 ---> \parindent = \the\parindent}
+ \typeout{theorem-enumerate-2 ---> \listparindent = \the\listparindent}
+ \item abc
+ \item \kant[3][1-2]
+
+ \kant[4][1-2]
+ \end{enumerate}
+ \end{enumerate}
+\end{theorem}
+
+
+\setlength\listparindent{22pt}
+
+\typeout{toplevel ---> \parskip = \the\parskip}
+\typeout{toplevel ---> \parindent = \the\parindent}
+\typeout{toplevel ---> \listparindent = \the\listparindent}
+
+\begin{theorem}
+\typeout{theorem ---> \parskip = \the\parskip}
+\typeout{theorem ---> \parindent = \the\parindent}
+\typeout{theorem ---> \listparindent = \the\listparindent}
+ \kant[1][1-2]
+
+ \kant[2][1-2]
+ \begin{enumerate}
+ \typeout{theorem-enumerate-1 ---> \parskip = \the\parskip}
+ \typeout{theorem-enumerate-1 ---> \parindent = \the\parindent}
+ \typeout{theorem-enumerate-1 ---> \listparindent = \the\listparindent}
+ \item abc
+ \item \kant[3][1-2]
+
+\setlength\listparindent{33pt}
+
+ \kant[4][1-2]
+ \begin{enumerate}
+ \typeout{theorem-enumerate-2 ---> \parskip = \the\parskip}
+ \typeout{theorem-enumerate-2 ---> \parindent = \the\parindent}
+ \typeout{theorem-enumerate-2 ---> \listparindent = \the\listparindent}
+ \item abc
+ \item \kant[3][1-2]
+
+ \kant[4][1-2]
+ \end{enumerate}
+ \end{enumerate}
+\end{theorem}
+
+
+\begin{enumerate}
+\typeout{enumerate-1 ---> \parskip = \the\parskip}
+\typeout{enumerate-1 ---> \parindent = \the\parindent}
+\typeout{theorem-enumerate-1 ---> \listparindent = \the\listparindent}
+ \item abc
+ \item \kant[3][1-2]
+
+ \kant[4][1-2]
+\end{enumerate}
+
+\end{document}
diff --git a/required/latex-lab/testfiles-block/github-tagging-0767.tlg b/required/latex-lab/testfiles-block/github-tagging-0767.tlg
new file mode 100644
index 000000000..e2ff73322
--- /dev/null
+++ b/required/latex-lab/testfiles-block/github-tagging-0767.tlg
@@ -0,0 +1,129 @@
+This is a generated file for the l3build validation system.
+Don't change this file in any respect.
+toplevel ---> \parskip = 0.0pt plus 1.0pt
+toplevel ---> \parindent = 15.0pt
+toplevel ---> \listparindent = 0.0pt
+==> theorem-like-env-start
+==> use instance: theoremblock-0
+==> increment P on input line ...
+theorem ---> \parskip = 0.0pt plus 1.0pt
+theorem ---> \parindent = 15.0pt
+theorem ---> \listparindent = 0.0pt
+==> enumerate-env-start
+==> use instance: list-1
+==> @endpe=false on input line ...
+==> use instance: enum-1
+==> template:list:std
+==> template:list:std end
+theorem-enumerate-1 ---> \parskip = 4.0pt plus 2.0pt minus 1.0pt
+theorem-enumerate-1 ---> \parindent = 0.0pt
+theorem-enumerate-1 ---> \listparindent = 0.0pt
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> item everypar on input line ...
+==> enumerate-env-start
+==> use instance: list-2
+==> @endpe=false on input line ...
+==> use instance: enum-2
+==> template:list:std
+==> template:list:std end
+theorem-enumerate-2 ---> \parskip = 2.0pt plus 1.0pt minus 1.0pt
+theorem-enumerate-2 ---> \parindent = 0.0pt
+theorem-enumerate-2 ---> \listparindent = 0.0pt
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> item everypar on input line ...
+==> blockenv common ending on input line ...
+==> blockenv common ending on input line ...
+==> Structure-end P at list-end on input line ...
+==> blockenv common ending on input line ...
+==> block-end on input line ...
+==> close /text-unit on input line ...
+toplevel ---> \parskip = 0.0pt plus 1.0pt
+toplevel ---> \parindent = 15.0pt
+toplevel ---> \listparindent = 22.0pt
+==> theorem-like-env-start
+==> use instance: theoremblock-0
+==> increment P on input line ...
+theorem ---> \parskip = 0.0pt plus 1.0pt
+theorem ---> \parindent = 15.0pt
+theorem ---> \listparindent = 22.0pt
+==> enumerate-env-start
+==> use instance: list-1
+==> @endpe=false on input line ...
+==> use instance: enum-1
+==> template:list:std
+==> template:list:std end
+theorem-enumerate-1 ---> \parskip = 4.0pt plus 2.0pt minus 1.0pt
+theorem-enumerate-1 ---> \parindent = 22.0pt
+theorem-enumerate-1 ---> \listparindent = 22.0pt
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+[1
+]
+==> item everypar on input line ...
+==> enumerate-env-start
+==> use instance: list-2
+==> @endpe=false on input line ...
+==> use instance: enum-2
+==> template:list:std
+==> template:list:std end
+theorem-enumerate-2 ---> \parskip = 2.0pt plus 1.0pt minus 1.0pt
+theorem-enumerate-2 ---> \parindent = 33.0pt
+theorem-enumerate-2 ---> \listparindent = 33.0pt
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> item everypar on input line ...
+==> blockenv common ending on input line ...
+==> blockenv common ending on input line ...
+==> Structure-end P at list-end on input line ...
+==> blockenv common ending on input line ...
+==> block-end on input line ...
+==> close /text-unit on input line ...
+==> enumerate-env-start
+==> use instance: list-1
+==> @endpe=false on input line ...
+==> use instance: enum-1
+==> template:list:std
+==> template:list:std end
+enumerate-1 ---> \parskip = 4.0pt plus 2.0pt minus 1.0pt
+enumerate-1 ---> \parindent = 22.0pt
+theorem-enumerate-1 ---> \listparindent = 22.0pt
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> template:item:std
+==> item everypar on input line ...
+==> increment P on input line ...
+==> item everypar on input line ...
+==> blockenv common ending on input line ...
+==> flattened=false on input line ...
+==> Structure-end text-unit after displayblock on input line ...
+[2] (github-tagging-0767.aux)
+Package tagpdf Info: Finalizing the tagging structure:
+(tagpdf) Writing out ~88 structure objects
+(tagpdf) with ~37 'MC' leaf nodes.
+(tagpdf) Be patient if there are lots of objects!
+Package tagpdf Info: writing ParentTree
+Package tagpdf Info: writing IDTree
+Package tagpdf Info: writing RoleMap
+Package tagpdf Info: writing ClassMap
+Package tagpdf Info: writing NameSpaces
+Package tagpdf Info: writing StructElems
+Package tagpdf Info: writing Root
diff --git a/required/latex-lab/update-blocks-all.sh b/required/latex-lab/update-blocks-all.sh
index 8f9fbba54..5a891fccf 100644
--- a/required/latex-lab/update-blocks-all.sh
+++ b/required/latex-lab/update-blocks-all.sh
@@ -1,5 +1,8 @@
#l3build save -cconfig-block -epdftex,luatex \
-#l3build save -cconfig-block -epdftex \
+
+
+l3build save -cconfig-block -epdftex \
+ github-tagging-0767
l3build save -cconfig-block -epdftex,luatex \
More information about the latex3-commits
mailing list.