groupthm: correct incremental building

ignore definitions from aux file in case of version change
This commit is contained in:
Maximilian Keßler 2022-01-31 20:25:37 +01:00
parent c637fe051c
commit fc67ef99ef

View File

@ -2671,7 +2671,7 @@
% \begin{macrocode}
\hook_gput_code:nnn { begindocument } { groupthm }
{
\bool_if:nTF
\bool_if:nT
{
\g_@@_cache_bool
&&
@ -2699,6 +2699,24 @@
\token_to_str:N \ExplSyntaxOn
\int_gset:Nn \g_@@_cache_version_aux_int
{ \int_use:N \g_@@_cache_version_document_int }
}
\iow_now:cn { @auxout }
{
\bool_if:nT
{
\g_@@_cache_bool
&&
\int_compare_p:n
{
\g_@@_cache_version_aux_int < \g_@@_cache_version_document_int
}
}
{
\cs_set_eq:NN \@@_thmtools_declare_theorem:nn \use_none:nn
}
}
\iow_now:cx { @auxout }
{
\token_to_str:N \ExplSyntaxOff
}
}