write groupthm version of theorem declaration to aux file

This commit is contained in:
Maximilian Keßler 2022-01-31 20:11:37 +01:00
parent adc9c32514
commit d59ef01933

View file

@ -855,9 +855,11 @@
{ {
\hook_gput_code:nnn { enddocument / afterlastpage } { groupthm } \hook_gput_code:nnn { enddocument / afterlastpage } { groupthm }
{ {
\iow_now:cn { @auxout } \iow_now:cx { @auxout }
{ {
\declaretheorem [ #1 ] { #2 } \token_to_str:N \ExplSyntaxOn
\exp_not:N \@@_thmtools_declare_theorem:nn { #1 } { #2 }
\token_to_str:N \ExplSyntaxOff
} }
} }
} }
@ -2681,34 +2683,17 @@
{ {
\hook_use_once:n { @@ / define lazy } \hook_use_once:n { @@ / define lazy }
} }
{
}
} }
% \end{macrocode} % \end{macrocode}
% %
% %
% \begin{macro}{\@@_fake_declare_theorem:w}
% \begin{syntax}
%
% \end{syntax}
%
% This is a fake version of the \cs{declaretheorem} macro
% that accepts the arguments but does nothing.
%
% \begin{macrocode}
\NewDocumentCommand { \@@_fake_declare_theorem:w }{ o m }
{
\relax
}
% \end{macrocode}
% \end{macro}
% %
% %
% %
% \begin{macrocode} % \begin{macrocode}
\hook_gput_code:nnn { enddocument / afterlastpage } { groupthm } \hook_gput_code:nnn { enddocument / afterlastpage } { groupthm }
{ {
\let \declaretheorem \@@_fake_declare_theorem:w \cs_set_eq:NN \@@_thmtools_declare_theorem:nn \use_none:nn
\iow_now:cx { @auxout } \iow_now:cx { @auxout }
{ {
\token_to_str:N \ExplSyntaxOn \token_to_str:N \ExplSyntaxOn