% Maintained by Matthew Bertucci, 2024-present
% Please report all issues and feature requests at https://github.com/mbertucci47/keytheorems
% This work is licensed under the LPPL version 1.3c or later: https://www.latex-project.org/lppl.txt
\NeedsTeXFormat{LaTeX2e}[2023-06-01]
\def\@keythms@date{2025-01-22}
\def\@keythms@version{0.2.5}
\ProvidesExplPackage{keytheorems}{\@keythms@date}{\@keythms@version}
{l3keys interface to amsthm}
\IfFormatAtLeastTF { 2024-06-01 } { }
{
\RequirePackage{nameref} % to avoid ltproperties in code below
\cs_generate_variant:Nn \cs_set:Npn { Npe }
\cs_generate_variant:Nn \iow_shipout:Nn { Ne }
\cs_generate_variant:Nn \keys_set:nn { ne }
\cs_generate_variant:Nn \msg_warning:nnn { nne }
\cs_generate_variant:Nn \tl_put_right:Nn { Ne }
\cs_generate_variant:Nn \tl_gput_right:Nn { ce }
\ProvideDocumentCommand \IfPackageLoadedT { m +m }
{ \IfPackageLoadedTF{#1}{#2}{ } }
\ProvideDocumentCommand \IfPackageLoadedF { m +m }
{ \IfPackageLoadedTF{#1}{ }{#2} }
\ProvideDocumentCommand \IfClassLoadedT { m +m }
{ \IfClassLoadedTF{#1}{#2}{ } }
\ProvideDocumentCommand \IfClassLoadedWithOptionsT { m m +m }
{ \IfClassLoadedWithOptionsTF{#1}{#2}{#3}{ } }
\ProvideDocumentCommand \IfPackageLoadedWithOptionsT { m m +m }
{ \IfPackageLoadedWithOptionsTF{#1}{#2}{#3}{ } }
}
\RequirePackage{aliascnt}
\RequirePackage{amsthm} % ams classes have way of ignoring this
\RequirePackage{refcount}
\RequirePackage{translations}
%%%%%%%%%%%%%%%%%%%%%%
%%% Error Messages %%%
%%%%%%%%%%%%%%%%%%%%%%
\msg_new:nnn { keytheorems } { thmtools-before }
{
keytheorems~is~not~compatible~with~thmtools.~
Try~replacing~\protect\usepackage{thmtools}~with~
\protect\usepackage[thmtools-compat]{keytheorems}.
}
\msg_new:nnn { keytheorems } { thmtools-after }
{
keytheorems~is~not~compatible~with~thmtools.~
This~will~not~work~as~you~think!~
Try~replacing~\protect\usepackage{thmtools}~with~
\protect\usepackage[thmtools-compat]{keytheorems}.
}
\msg_new:nnn { keytheorems } { no-stored-theorem }
{
No~stored~theorem~'#1'~found!~
Try~compiling~again.~If~that~doesn't~work,~
check~the~spelling~of~'#1'.
}
\msg_new:nnn { keytheorems } { no-prop-for-stored-theorem }
{
No~property~'#1'~found~for~stored~theorem~'#2'.
}
\msg_new:nnn { keytheorems } { store-reversed-not-got }
{
'store*=#1'~only~makes~sense~if~you've~called~\protect\getkeytheorem{#1}.~
Check~that~\protect\getkeytheorem{#1}~is~called~and~compile~again.
}
\msg_new:nnn { keytheorems } { restate-body-never-got }
{
With~'store*=#1',~\protect\getkeytheorem[body]{#1}~only~makes~sense~if~
\protect\getkeytheorem{#1}~has~been~called.~
Check~that~\protect\getkeytheorem{#1}~is~called~and~compile~again.
}
\msg_new:nnn { keytheorems } { store-reversed-called-twice }
{
With~'store*=#1',~\protect\getkeytheorem{#1}~can~be~called~only~once.
}
\msg_new:nnn { keytheorems } { undefined-thm-hook }
{
No~theorem~hook~'#1'.~Check~the~spelling.~
Should~be~one~of~'prehead',~'posthead',~'prefoot',~'postfoot',~or~'restated'.
}
\msg_new:nnn { keytheorems } { refname-argcount }
{
'#1'~accepts~either~one~or~two~comma-separated~items.
}
\msg_new:nnn { keytheorems } { hyperref-Autoref }
{
You~have~not~loaded~hyperref.~The~\protect\Autoref\space command~needs~
hyperref~to~work.
}
\msg_new:nnn { keytheorems } { no-Autorefname }
{
No~Autoref~name~for~'#1'.~
Please~define~\c_backslash_str #1Autorefname.
}
\msg_new:nnn { keytheorems } { ctrfmt-unnumbered }
{
Theorem~'#1'~is~not~numbered.~Using~'counter-format'~does~not~make~sense.
}
\msg_new:nnn { keytheorems } { thmstyle-undefined }
{
Theorem~style~'#1'~undefined.~
Use~\protect\newkeytheoremstyle\space instead.
}
\msg_new:nnn { keytheorems } { thmstyle-defined }
{
Theorem~style~'#1'~already~defined.~
Use~\protect\renewkeytheoremstyle\space instead.
}
\msg_new:nnn { keytheorems } { inherit-thmstyle-undefined }
{
Theorem~style~'#1'~undefined.
}
\msg_new:nnn { keytheorems } { thm-undefined }
{
Command~\c_backslash_str #1~undefined.~
Use~\protect\newkeytheorem\space instead.
}
\msg_new:nnn { keytheorems } { title-code-with-AMS }
{
The~'title-code'~key~has~no~effect~with~an~AMS~class.
}
% Error if thmtools loaded since compilation hangs.
% If thmtools loaded after, produce warning.
\IfPackageLoadedTF { thmtools }
{
\msg_fatal:nn { keytheorems } { thmtools-before }
}
{
\hook_gput_code:nnn { package/thmtools/before } { . }
{
\msg_warning:nn { keytheorems } { thmtools-after }
}
}
%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Declare Variables %%%
%%%%%%%%%%%%%%%%%%%%%%%%%
\clist_new:N \l__keythms_tmpa_clist
\dim_new:N \l__keythms_tmpa_dim
\iow_new:N \g__keythms_tmpa_iow
\seq_new:N \l__keythms_tmpa_seq
\tl_new:N \l__keythms_tmpa_tl
\tl_new:N \l__keythms_tmpb_tl
\bool_new:N \g__keythms_listof_writefile_bool
\bool_gset_false:N \g__keythms_listof_writefile_bool
\bool_new:N \g__keythms_thmtoolscompat_bool
\bool_gset_false:N \g__keythms_thmtoolscompat_bool
\bool_new:N \l__keythms_listofheading_storereversed_bool
\bool_new:N \l__keythms_thm_numbered_bool
\bool_new:N \l__keythms_thm_unlessunique_bool
\bool_new:N \l__keythms_thmuse_listhack_bool
\bool_new:N \l__keythms_thmuse_restating_bool
\clist_new:N \g__keythms_restatecounters_clist
\clist_new:N \l__keythms_thmstyle_savedkeys_clist
\dim_new:N \l__keythms_thm_currparindent_dim
\dim_new:N \l__keythms_thm_currparskip_dim
\int_new:N \l__keythms_thm_tcbstate_int
\prop_new:N \g__keythms_thmnames_prop
\prop_new:N \g__keythms_thmstyle_defaultkeys_prop
\prop_new:N \g__keythms_thmuse_othercounters_prop
\prop_new:N \l__keythms_restate_counters_prop
\tl_new:N \l__keythms_thm_currentthmstyle_tl
\tl_new:N \l__keythms_thm_defaultkeys_tl
\tl_new:N \l__keythms_thm_envname_tl
\tl_new:N \l__keythms_thm_tcbkeys_tl
\tl_new:N \l__keythms_thm_tempstyle_tl
\tl_new:N \l__keythms_thmstyle_defaultkeys_tl
\tl_new:N \l__keythms_thmstyle_lnotebrace_tl
\tl_new:N \l__keythms_thmstyle_rnotebrace_tl
\tl_new:N \l_keythms_thmuse_envname_tl
\tl_new:N \g__keythms_thmuse_temprestatedata_tl
\tl_new:N \g__keythms_thmuse_temprestatedatareversed_tl
\newcounter{keythms_restate_dummyctr}
\cs_gset:Npn \theHkeythms_restate_dummyctr
{ restate.\arabic{keythms_restate_dummyctr} }
\cs_gset:Npn \thekeythms_restate_dummyctr { }
\newcounter{keythms_continues_dummyctr}
\cs_gset:Npn \theHkeythms_continues_dummyctr
{ continues.\arabic{keythms_continues_dummyctr} }
\cs_gset:Npn \thekeythms_continues_dummyctr { }
\newcounter{keythms_unnumbered_dummyctr}
\cs_gset:Npn \theHkeythms_unnumbered_dummyctr
{ unnumbered.\arabic{keythms_unnumbered_dummyctr} }
\cs_gset:Npn \thekeythms_unnumbered_dummyctr { }
\newcounter{keythms_manualnum_dummyctr}
\cs_gset:Npn \theHkeythms_manualnum_dummyctr
{ manualnum.\arabic{keythms_manualnum_dummyctr} }
\cs_gset:Npn \thekeythms_manualnum_dummyctr { }
\cs_generate_variant:Nn \hook_gput_code:nnn { nnv }
\cs_generate_variant:Nn \keys_precompile:nnN { ne, nVc }
\cs_generate_variant:Nn \prop_set_from_keyval:Nn { Ne }
%%%%%%%%%%%%%%
%%% Styles %%%
%%%%%%%%%%%%%%
\cs_new_protected:Npn \__keythms_thmstyle_setbraces:nn #1#2
{ % #1 = left brace, #2 = right brace
\tl_set:Nn \l__keythms_thmstyle_lnotebrace_tl { #1 }
\tl_set:Nn \l__keythms_thmstyle_rnotebrace_tl { #2 }
}
\cs_new_protected:Npn \__keythms_thmstyle_savethmkey_reqval:n #1
{ % #1 = key value
\clist_put_right:No \l__keythms_thmstyle_savedkeys_clist
{ \l_keys_key_str = { #1 } }
}
\cs_new_protected:Npn \__keythms_thmstyle_savethmkey_optval:n #1
{ % #1 = key value
\tl_if_empty:NTF \l_keys_value_tl
{
\clist_put_right:No \l__keythms_thmstyle_savedkeys_clist
{ \l_keys_key_str }
}
{
\clist_put_right:No \l__keythms_thmstyle_savedkeys_clist
{ \l_keys_key_str = { #1 } }
}
}
\keys_define:nn { keytheorems/thmstyle }
{
bodyfont .tl_set:N = \l__keythms_thmstyle_bodyfont_tl,
break .meta:n = { postheadspace = \newline }, % add error if postheadspace set
break .value_forbidden:n = true,
headfont .tl_set:N = \l__keythms_thmstyle_headfont_tl,
headformat .meta:n = { headstyle = {#1} }, % extra braces are necessary! Otherwise breaks if #1 contains comma
headindent .tl_set:N = \l__keythms_thmstyle_headindent_tl,
headpunct .tl_set:N = \l__keythms_thmstyle_headpunct_tl,
headstyle .choice:,
headstyle / margin .code:n =
{
\cs_set:Nn \keythms_thmstyle_headcmd:nnn
{
\makebox[0pt][r]{
\keythms_thmstyle_thmnumber:n {
\group_begin: \exp_not:V \l__keythms_thmstyle_numberfont_tl
##2 ~ \group_end: }
}
\NAME\NOTE
}
},
headstyle / swapnumber .code:n =
{
\cs_set:Nn \keythms_thmstyle_headcmd:nnn
{
\keythms_thmstyle_thmnumber:n {
\group_begin: \exp_not:V \l__keythms_thmstyle_numberfont_tl
##2 ~ \group_end: }
\NAME\NOTE
}
},
headstyle / unknown .cs_set:Np = \keythms_thmstyle_headcmd:nnn #1#2#3,
inherit-style .code:n =
{
\tl_if_exist:cTF { g__keythms_thmstyle_#1_metakeys_tl }
{
\keys_set:nv { keytheorems/thmstyle }
{ g__keythms_thmstyle_#1_metakeys_tl }
}
{ \msg_error:nnn { keytheorems } { inherit-thmstyle-undefined } { #1 } }
},
notebraces .code:n = \exp_after:wN \__keythms_thmstyle_setbraces:nn #1,
notefont .tl_set:N = \l__keythms_thmstyle_notefont_tl,
noteseparator .tl_set:N = \l__keythms_thmstyle_noteseparator_tl,
numberfont .tl_set:N = \l__keythms_thmstyle_numberfont_tl,
postheadspace .tl_set:N = \l__keythms_thmstyle_postheadspace_tl,
spaceabove .tl_set:N = \l__keythms_thmstyle_spaceabove_tl,
spacebelow .tl_set:N = \l__keythms_thmstyle_spacebelow_tl,
% thm keys that are saved for later
counter-format .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
leftmargin .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
numbered .code:n = \__keythms_thmstyle_savethmkey_optval:n { #1 },
numberlike .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
numberwithin .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
parent .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
postfoothook .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
postheadhook .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
prefoothook .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
preheadhook .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
qed .code:n =
{ % qed needs special treatment to distinguish qed from qed={}
\tl_if_novalue:nTF { #1 }
{
\clist_put_right:No \l__keythms_thmstyle_savedkeys_clist
{ \l_keys_key_str }
}
{
\clist_put_right:No \l__keythms_thmstyle_savedkeys_clist
{ \l_keys_key_str = { #1 } }
}
},
qed .default:o = \c_novalue_tl,
rightmargin .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
sharenumber .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
sibling .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
tcolorbox .code:n = \__keythms_thmstyle_savethmkey_optval:n { #1 },
tcolorbox-no-titlebar .code:n = \__keythms_thmstyle_savethmkey_optval:n { #1 },
within .code:n = \__keythms_thmstyle_savethmkey_reqval:n { #1 },
}
\cs_new_protected:Nn \keythms_thmstyle_thmname:n { \thmname{#1} }
\cs_new_protected:Nn \keythms_thmstyle_thmnumber:n { \thmnumber{#1} }
\cs_new_protected:Nn \keythms_thmstyle_thmnote:n { \thmnote{#1} }
\cs_new:Npn \keythms_thmstyle_headcmd_default:nnn #1#2#3
{
\keythms_thmstyle_thmname:n { #1 }
\keythms_thmstyle_thmnumber:n
{ ~
\group_begin:
\exp_not:V \l__keythms_thmstyle_numberfont_tl
#2
\group_end:
}
\keythms_thmstyle_thmnote:n
{ \exp_not:V \l__keythms_thmstyle_noteseparator_tl
\group_begin: % group so notefont doesn't affect headpunct
\exp_not:V \l__keythms_thmstyle_notefont_tl
\l__keythms_thmstyle_lnotebrace_tl #3 \l__keythms_thmstyle_rnotebrace_tl
\group_end:
}
}
\prop_gset_from_keyval:Nn \g__keythms_thmstyle_defaultkeys_prop
{ % support files may overwrite these defaults
bodyfont = \itshape,
headfont = \bfseries,
headindent = 0pt,
headpunct = {.},
headstyle = \keythms_thmstyle_headcmd_default:nnn{#1}{#2}{#3},
notebraces = {(}{)},
notefont = \fontseries\mddefault\upshape,
noteseparator = {~},
numberfont = \upshape,
postheadspace = 5pt plus 1pt minus 1pt,
spaceabove = {}, % empty means default (works for AMS classes too)
spacebelow = {}, % empty means default (works for AMS classes too)
}
\hook_gput_code:nnn { package/keytheorems/after } { . }
{ % need to defer to wait for support files
\keys_precompile:neN { keytheorems/thmstyle }
{ \prop_to_keyval:N \g__keythms_thmstyle_defaultkeys_prop }
\l__keythms_thmstyle_defaultkeys_tl
}
\NewDocumentCommand \newkeytheoremstyle { m +m }
{
\cs_if_free:cTF { th@ #1 }
{ \keythms_thmstyle_declarestyle:nn { #1 } { #2 } }
{ \msg_error:nnn { keytheorems } { thmstyle-defined } { #1 } }
}
\NewDocumentCommand \renewkeytheoremstyle { m +m }
{
\cs_if_free:cTF { th@ #1 }
{ \msg_error:nnn { keytheorems } { thmstyle-undefined } { #1 } }
{ \keythms_thmstyle_declarestyle:nn { #1 } { #2 } }
}
\NewDocumentCommand \providekeytheoremstyle { m +m }
{
\cs_if_free:cT { th@ #1 }
{ \keythms_thmstyle_declarestyle:nn { #1 } { #2 } }
}
\NewDocumentCommand \declarekeytheoremstyle { m +m }
{
\keythms_thmstyle_declarestyle:nn { #1 } { #2 }
}
\@onlypreamble \newkeytheoremstyle
\@onlypreamble \renewkeytheoremstyle
\@onlypreamble \providekeytheoremstyle
\@onlypreamble \declarekeytheoremstyle
\cs_new_eq:NN \__keythms_thmstyle_new:nnnnnnnnn \newtheoremstyle
\cs_generate_variant:Nn \__keythms_thmstyle_new:nnnnnnnnn { nVVVVVVVe }
\tl_put_right:Nn \l_text_expand_exclude_tl { \thmnote \thmnumber \thmname }
% ^ allows \thmnote, etc. to work in headstyle; hope no bad side effects!
\cs_new_protected:Npn \keythms_thmstyle_declarestyle:nn #1#2
{ % user is in charge of spacing with \NAME and \NUMBER (thmtools compat...)
\cs_set:Npn \NAME { \keythms_thmstyle_thmname:n { ####1 } }
\cs_set:Npn \NUMBER
{
\keythms_thmstyle_thmnumber:n
{
\group_begin:
\exp_not:V \l__keythms_thmstyle_numberfont_tl
####2
\group_end:
}
}
\cs_set:Npn \NOTE
{
\keythms_thmstyle_thmnote:n
{ \exp_not:V \l__keythms_thmstyle_noteseparator_tl
\group_begin: % group so notefont doesn't affect headpunct
\exp_not:V \l__keythms_thmstyle_notefont_tl
\l__keythms_thmstyle_lnotebrace_tl
####3
\l__keythms_thmstyle_rnotebrace_tl
\group_end:
}
}
\clist_clear:N \l__keythms_thmstyle_savedkeys_clist
\tl_use:N \l__keythms_thmstyle_defaultkeys_tl
\keys_set:nn { keytheorems/thmstyle } { #2 }
\__keythms_thmstyle_new:nVVVVVVVe { #1 }
\l__keythms_thmstyle_spaceabove_tl
\l__keythms_thmstyle_spacebelow_tl
\l__keythms_thmstyle_bodyfont_tl
\l__keythms_thmstyle_headindent_tl
\l__keythms_thmstyle_headfont_tl
\l__keythms_thmstyle_headpunct_tl
\l__keythms_thmstyle_postheadspace_tl
{ \text_expand:n { \keythms_thmstyle_headcmd:nnn{##1}{##2}{##3} } }
% Define inherit-style key
\tl_gclear_new:c { g__keythms_thmstyle_#1_metakeys_tl }
\tl_gset:cn { g__keythms_thmstyle_#1_metakeys_tl } { #2 }
\tl_clear_new:c { l__keythms_thmstyle_#1_savedthmkeys_tl }
\keys_precompile:nVc { keytheorems/thm }
\l__keythms_thmstyle_savedkeys_clist
{ l__keythms_thmstyle_#1_savedthmkeys_tl }
\tl_if_empty:NF \l__keythms_thmstyle_spaceabove_tl
{
\skip_zero_new:c { g__keythms_thmstyle_#1_tcbspaceabove_skip }
\skip_set_eq:cN { g__keythms_thmstyle_#1_tcbspaceabove_skip }
\l__keythms_thmstyle_spaceabove_tl
}
\tl_if_empty:NF \l__keythms_thmstyle_spacebelow_tl
{
\skip_zero_new:c { g__keythms_thmstyle_#1_tcbspacebelow_skip }
\skip_set_eq:cN { g__keythms_thmstyle_#1_tcbspacebelow_skip }
\l__keythms_thmstyle_spacebelow_tl
}
\cs_undefine:N \NAME % undefine to prevent conflicts
\cs_undefine:N \NUMBER
\cs_undefine:N \NOTE
}
% set up plain, definition, and remark for inherit-style
\tl_new:N \g__keythms_thmstyle_plain_metakeys_tl
\tl_new:N \g__keythms_thmstyle_definition_metakeys_tl
\tl_new:N \g__keythms_thmstyle_remark_metakeys_tl
\tl_gset:Nn \g__keythms_thmstyle_definition_metakeys_tl { bodyfont=\normalfont }
\tl_gset:Nn \g__keythms_thmstyle_remark_metakeys_tl
{
bodyfont = \normalfont,
headfont = \itshape,
spaceabove = 0.5\topsep,
spacebelow = 0.5\topsep,
}
%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Defining Theorems %%%
%%%%%%%%%%%%%%%%%%%%%%%%%
\cs_new_protected:Npn \__keythms_thm_setrefnames:nn #1#2
{ % use \seq_set_split instead of clist functions to preserve empty entries
\seq_set_split:Nnn \l__keythms_tmpa_seq { , } { #2 }
\int_compare:nNnTF { \seq_count:N \l__keythms_tmpa_seq } = { 2 }
{
\__keythms_thm_setrefnames_auxII:nee { #1 }
{ \seq_item:Nn \l__keythms_tmpa_seq { 1 } }
{ \seq_item:Nn \l__keythms_tmpa_seq { 2 } }
}
{
\int_compare:nNnTF { \seq_count:N \l__keythms_tmpa_seq } = { 1 }
{
\__keythms_thm_setrefnames_auxI:ne { #1 }
{ \seq_item:Nn \l__keythms_tmpa_seq { 1 } }
}
{ \msg_error:nnn { keytheorems } { refname-argcount } { refname } }
}
}
\cs_generate_variant:Nn \__keythms_thm_setrefnames:nn { nV }
\cs_new_protected:Npn \__keythms_thm_setrefnames_auxI:nn #1#2
{
\cs_set:cpn { #1 autorefname } { #2 }
\IfPackageLoadedT { cleveref }
{
\crefname{#1}{#2}{\textbf{??~(pl.~#2)}}
}
\IfPackageLoadedT { zref-clever }
{
\zcRefTypeSetup{#1}{ name-sg=#2 }
}
}
\cs_new_protected:Npn \__keythms_thm_setrefnames_auxII:nnn #1#2#3
{
\cs_set:cpn { #1 autorefname } { #2 }
\IfPackageLoadedT { cleveref }
{
\crefname{#1}{#2}{#3}
}
\IfPackageLoadedT { zref-clever }
{
\zcRefTypeSetup{#1}{ name-sg=#2, name-pl=#3 }
}
}
\cs_generate_variant:Nn \__keythms_thm_setrefnames_auxI:nn { ne }
\cs_generate_variant:Nn \__keythms_thm_setrefnames_auxII:nnn { nee }
\cs_new_protected:Npn \__keythms_thm_setRefnames:nn #1#2
{ % use \seq_set_split instead of clist functions to preserve empty entries
\seq_set_split:Nnn \l__keythms_tmpa_seq { , } { #2 }
\int_compare:nNnTF { \seq_count:N \l__keythms_tmpa_seq } = { 2 }
{
\__keythms_thm_setRefnames_auxII:nee { #1 }
{ \seq_item:Nn \l__keythms_tmpa_seq { 1 } }
{ \seq_item:Nn \l__keythms_tmpa_seq { 2 } }
}
{
\int_compare:nNnTF { \seq_count:N \l__keythms_tmpa_seq } = { 1 }
{
\__keythms_thm_setRefnames_auxI:ne { #1 }
{ \seq_item:Nn \l__keythms_tmpa_seq { 1 } }
}
{ \msg_error:nnn { keytheorems } { refname-argcount } { Refname } }
}
}
\cs_generate_variant:Nn \__keythms_thm_setRefnames:nn { nV }
\cs_new_protected:Npn \__keythms_thm_setRefnames_auxI:nn #1#2
{
\cs_set:cpn { #1 Autorefname } { #2 }
\IfPackageLoadedT { cleveref }
{
\Crefname{#1}{#2}{\textbf{??~(pl.~#2)}}
}
\IfPackageLoadedT { zref-clever }
{
\zcRefTypeSetup{#1}{ Name-sg=#2 }
}
}
\cs_new_protected:Npn \__keythms_thm_setRefnames_auxII:nnn #1#2#3
{
\cs_set:cpn { #1 Autorefname } { #2 }
\IfPackageLoadedT { cleveref }
{
\Crefname{#1}{#2}{#3}
}
\IfPackageLoadedT { zref-clever }
{
\zcRefTypeSetup{#1}{ Name-sg=#2, Name-pl=#3 }
}
}
\cs_generate_variant:Nn \__keythms_thm_setRefnames_auxI:nn { ne }
\cs_generate_variant:Nn \__keythms_thm_setRefnames_auxII:nnn { nee }
\keys_define:nn { keytheorems/thm }
{
counter-format .tl_set:N = \l__keythms_thm_ctrfmt_tl,
heading .meta:n = { name = {#1} },
leftmargin .dim_set:N = \l__keythms_thm_leftmargin_dim,
name .tl_set:N = \l__keythms_thm_name_tl,
numbered .choice:,
numbered .default:n = true,
numbered / false .code:n = \bool_set_false:N \l__keythms_thm_numbered_bool,
numbered / no .meta:n = { numbered = false },
numbered / true .code:n = \bool_set_true:N \l__keythms_thm_numbered_bool,
numbered / unless-unique .code:n =
{
\bool_set_true:N \l__keythms_thm_unlessunique_bool
},
numbered / unless~unique .meta:n = { numbered = unless-unique },
numbered / yes .meta:n = { numbered = true },
numberlike .meta:n = { sibling = {#1} },
numberwithin .meta:n = { parent = {#1} },
parent .tl_set:N = \l__keythms_thm_parent_tl,
postfoothook .tl_set:N = \l__keythms_thm_postfoothook_tl,
postheadhook .tl_set:N = \l__keythms_thm_postheadhook_tl,
prefoothook .tl_set:N = \l__keythms_thm_prefoothook_tl,
preheadhook .tl_set:N = \l__keythms_thm_preheadhook_tl,
qed .tl_set:N = \l__keythms_thm_qed_tl,
qed .default:o = \c_novalue_tl,
% ^ distinguish between 'qed' and 'qed={}'
refname .tl_set:N = \l__keythms_thm_refname_tl,
Refname .tl_set:N = \l__keythms_thm_Refname_tl,
rightmargin .dim_set:N = \l__keythms_thm_rightmargin_dim,
sharenumber .meta:n = { sibling = {#1} },
sibling .tl_set:N = \l__keythms_thm_sibling_tl,
style .tl_set:N = \l__keythms_thm_style_tl,
style .groups:n = { style-comes-first },
tcolorbox .code:n =
{
\int_set:Nn \l__keythms_thm_tcbstate_int { 1 }
\tl_set:Nn \l__keythms_thm_tcbkeys_tl { #1 }
},
tcolorbox .default:n = {},
tcolorbox-no-titlebar .code:n =
{
\int_set:Nn \l__keythms_thm_tcbstate_int { 2 }
\tl_set:Nn \l__keythms_thm_tcbkeys_tl { #1 }
},
tcolorbox-no-titlebar .default:n = {},
title .meta:n = { name = {#1} },
within .meta:n = { parent = {#1} },
}
\keys_precompile:nnN { keytheorems/thm }
{
counter-format = \q_no_value,
leftmargin = 0pt,
name = \q_no_value,
numbered = true,
parent = {},
postfoothook = {},
postheadhook = {},
prefoothook = {},
preheadhook = {},
qed = \q_no_value,
refname = \q_no_value,
Refname = \q_no_value,
rightmargin = 0pt,
sibling = {},
style = {},
}
\l__keythms_thm_defaultkeys_tl
\cs_new_protected:Npn \__keythms_thm_makethmhooks:n #1
{
\hook_new_pair:nn { keytheorems/#1/prehead } { keytheorems/#1/postfoot }
\hook_new_pair:nn { keytheorems/#1/posthead } { keytheorems/#1/prefoot }
\hook_new:n { keytheorems/#1/restated }
}
% Make generic theorem hooks
\__keythms_thm_makethmhooks:n { allthms }
\NewDocumentCommand \newkeytheorem { m +O{} }
{ % #1 = name, #2 = keys
\clist_map_inline:nn { #1 } % define multiple theorems at once
{ \keythms_thm_newkeythm:nn { ##1 } { #2 } }
}
\NewDocumentCommand \renewkeytheorem { m +O{} }
{ % #1 = name, #2 = keys
\clist_map_inline:nn { #1 }
{ \keythms_thm_renewkeythm:nn { ##1 } { #2 } }
}
\NewDocumentCommand \providekeytheorem { m +O{} }
{ % #1 = name, #2 = keys
\clist_map_inline:nn { #1 }
{ \keythms_thm_providekeythm:nn { ##1 } { #2 } }
}
\NewDocumentCommand \declarekeytheorem { m +O{} }
{ % #1 = name, #2 = keys
\clist_map_inline:nn { #1 }
{ \keythms_thm_declarekeythm:nn { ##1 } { #2 } }
}
\@onlypreamble \newkeytheorem
\@onlypreamble \renewkeytheorem
\@onlypreamble \providekeytheorem
\@onlypreamble \declarekeytheorem
% to prevent error when plain, remark, or definition style used
\tl_new:N \l__keythms_thmstyle_plain_savedthmkeys_tl
\tl_new:N \l__keythms_thmstyle_remark_savedthmkeys_tl
\tl_new:N \l__keythms_thmstyle_definition_savedthmkeys_tl
\cs_new_protected:Npn \keythms_thm_newkeythm:nn #1#2
{ % #1 = name, #2 = keys
% Store envname
\tl_set:Nn \l__keythms_thm_envname_tl { #1 }
% Set up tl's for hooks; hooks will be created and added to at begindocument
\tl_gclear_new:c { g__keythms_thm_preheadfromkeys_#1_tl }
\tl_gclear_new:c { g__keythms_thm_postheadfromkeys_#1_tl }
\tl_gclear_new:c { g__keythms_thm_prefootfromkeys_#1_tl }
\tl_gclear_new:c { g__keythms_thm_postfootfromkeys_#1_tl }
% Make unless-unique false by default (can't precompile this)
\bool_set_false:N \l__keythms_thm_unlessunique_bool
% Set default keys
\tl_use:N \l__keythms_thm_defaultkeys_tl
% Initialize tcb state to zero (1 is with title bar, 2 is without title bar)
\int_zero:N \l__keythms_thm_tcbstate_int
% First set style so we can pick up additional thm keys, then overwrite if necessary
\keys_set_groups:nnn { keytheorems/thm } { style-comes-first } { #2 }
% Store theorem style
\tl_set:Ne \l__keythms_thm_currentthmstyle_tl { \the\thm@style }
\tl_if_empty:NTF \l__keythms_thm_style_tl
{ % if \theoremstyle set, also use saved thm keys
\tl_if_exist:cT {l__keythms_thmstyle_ \l__keythms_thm_currentthmstyle_tl _savedthmkeys_tl}
{ \tl_use:c {l__keythms_thmstyle_ \l__keythms_thm_currentthmstyle_tl _savedthmkeys_tl} }
}
{
% Temporarily set theorem style
\__keythms_theoremstyle:n { \l__keythms_thm_style_tl }
% If thm keys given in style, call now (possibly overwritten in next step)
% but don't error if user uses a style defined with just \newtheoremstyle
\tl_if_exist:cT { l__keythms_thmstyle_ \l__keythms_thm_style_tl _savedthmkeys_tl }
{ \tl_use:c { l__keythms_thmstyle_ \l__keythms_thm_style_tl _savedthmkeys_tl } }
}
% Set env-specific keys
\keys_set:nn { keytheorems/thm } { #2 }
% Build tl for env-specific hooks; will be added to hooks at begindocument
\tl_gput_right:cV { g__keythms_thm_preheadfromkeys_#1_tl } \l__keythms_thm_preheadhook_tl
\tl_gput_right:cV { g__keythms_thm_postheadfromkeys_#1_tl } \l__keythms_thm_postheadhook_tl
\tl_gput_right:cV { g__keythms_thm_prefootfromkeys_#1_tl } \l__keythms_thm_prefoothook_tl
\tl_gput_right:cV { g__keythms_thm_postfootfromkeys_#1_tl } \l__keythms_thm_postfoothook_tl
% Set name if none given
\quark_if_no_value:NT \l__keythms_thm_name_tl % use quark so name={} is valid
{
% use e so \text_titlecase called only once per theorem definition,
% not each time the theorem is used
\tl_set:Ne \l__keythms_thm_name_tl
{ \text_titlecase_first:n { #1 } }
}
% associate formatted name with envname in prop list
\prop_gput:NnV \g__keythms_thmnames_prop { #1 } \l__keythms_thm_name_tl
% Call correct \newtheorem variant
\bool_if:NTF \l__keythms_thm_unlessunique_bool
{
% [unq] is required since aux is read at begindocument
% (technically right before) which is after theorem is defined
\RequirePackage[unq]{unique}
\tl_if_empty:NTF \l__keythms_thm_parent_tl
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{ \setuniqmark { #1 } }
\ifuniq{ #1 }
{ \bool_set_false:N \l__keythms_thm_numbered_bool }
{ \bool_set_true:N \l__keythms_thm_numbered_bool }
\bool_if:NTF \l__keythms_thm_numbered_bool
{
\tl_if_empty:NTF \l__keythms_thm_sibling_tl
{
\__keythms_thm_new_numbered:nV { #1 } \l__keythms_thm_name_tl
}
{
\exp_args:NnV \newaliascnt { #1 } \l__keythms_thm_sibling_tl
\__keythms_thm_new_sibling:nVn { #1 }
\l__keythms_thm_name_tl { #1 }
\aliascntresetthe { #1 }
}
}
{
\__keythms_thm_new_unnumbered:nV { #1 } \l__keythms_thm_name_tl
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{
\keythms_if_restating:F
{ \refstepcounter{ keythms_unnumbered_dummyctr } }
}
}
}
{
\__keythms_thm_new_uuwithparent:nVV { #1 }
\l__keythms_thm_name_tl \l__keythms_thm_parent_tl
}
}
{
\bool_if:NTF \l__keythms_thm_numbered_bool
{
\tl_if_empty:NTF \l__keythms_thm_parent_tl
{
\tl_if_empty:NTF \l__keythms_thm_sibling_tl
{
\__keythms_thm_new_numbered:nV { #1 } \l__keythms_thm_name_tl
}
{
\exp_args:NnV \newaliascnt { #1 } \l__keythms_thm_sibling_tl
\__keythms_thm_new_sibling:nVn { #1 }
\l__keythms_thm_name_tl { #1 }
\aliascntresetthe { #1 }
}
}
{
\__keythms_thm_new_parent:nVV { #1 }
\l__keythms_thm_name_tl \l__keythms_thm_parent_tl
}
}
{
\__keythms_thm_new_unnumbered:nV { #1 } \l__keythms_thm_name_tl
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{
\keythms_if_restating:F
{ \refstepcounter{ keythms_unnumbered_dummyctr } }
}
}
}
% Store theorem def and redefine it with keys
\keythms_keyify_theorem:n { #1 }
% define \<env>autorefname and \<env>Autorefname, might be redefined next
\exp_args:NnV \cs_set:cpn { #1 autorefname } \l__keythms_thm_name_tl
\exp_args:NnV \cs_set:cpn { #1 Autorefname } \l__keythms_thm_name_tl
% Set ref names
\quark_if_no_value:NF \l__keythms_thm_refname_tl
{ \__keythms_thm_setrefnames:nV { #1 } \l__keythms_thm_refname_tl }
\quark_if_no_value:NF \l__keythms_thm_Refname_tl
{ \__keythms_thm_setRefnames:nV { #1 } \l__keythms_thm_Refname_tl }
% Set margins if needed
\bool_lazy_or:nnT
{ ! \dim_compare_p:nNn { \l__keythms_thm_leftmargin_dim } = { 0pt } }
{ ! \dim_compare_p:nNn { \l__keythms_thm_rightmargin_dim } = { 0pt } }
{
\exp_args:NnVV \__keythms_thm_margincode:nnn { #1 }
\l__keythms_thm_leftmargin_dim \l__keythms_thm_rightmargin_dim
}
% Set up qed if needed
\quark_if_no_value:NF \l__keythms_thm_qed_tl
{
\exp_args:Nno \__keythms_thm_qedcode:nn { #1 } { \l__keythms_thm_qed_tl }
}
% Set up tcolorbox if needed
\int_compare:nNnTF { \l__keythms_thm_tcbstate_int } = { 1 }
{
\exp_args:Nno \__keythms_thm_tcbcode:nn { #1 }
{ \l__keythms_thm_tcbkeys_tl }
}
{
\int_compare:nNnT { \l__keythms_thm_tcbstate_int } = { 2 }
{
\exp_args:Nno \__keythms_thm_tcbnotitlebarcode:nn { #1 }
{ \l__keythms_thm_tcbkeys_tl }
}
}
% Set counter format if needed
\quark_if_no_value:NF \l__keythms_thm_ctrfmt_tl
{
\bool_if:NTF \l__keythms_thm_numbered_bool
{ \exp_args:NnV \cs_set:cpn { the #1 } \l__keythms_thm_ctrfmt_tl }
{ \msg_warning:nnn { keytheorems } { ctrfmt-unnumbered } { #1 } }
}
% Set up list-of definition
\cs_set_eq:cN { l@ #1 } \keythms_listof_tocline:
% Set default list-of display command
\__keythms_listof_show_aux:n { #1 }
% Set theorem style back to original state if needed
\tl_if_empty:NF \l__keythms_thm_style_tl
{ \__keythms_theoremstyle:V \l__keythms_thm_currentthmstyle_tl }
}
\hook_gput_code:nnn { begindocument } { . }
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{
\__keythms_thm_makethmhooks:n { #1 }
\clist_map_inline:nn { prehead, posthead, prefoot, postfoot }
{
\tl_if_empty:cF { g__keythms_thm_##1fromkeys_#1_tl }
{
\hook_gput_code:nnv { keytheorems/#1/##1 } { keythms_hook_keys }
{ g__keythms_thm_##1fromkeys_#1_tl }
}
}
\use:c { g__keythms_thm_tcbpatch_#1_tl }
}
\cs_set_eq:NN \__keythms_thm_origtrivlist: \trivlist % for margin code below
}
\cs_new_protected:Npn \__keythms_thm_margincode:nnn #1#2#3
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{
\dim_set_eq:NN \l__keythms_thm_currparindent_dim \parindent
\dim_set_eq:NN \l__keythms_thm_currparskip_dim \parskip
\cs_set_protected:Npn \trivlist
{
\list{ }
{
\dim_set:Nn \leftmargin { #2 }
\dim_set:Nn \rightmargin { #3 }
\dim_zero:N \labelwidth % trivlist does this; important for tcb-no-title
% need to revert some adjustments \list makes (any more?)
\int_gdecr:N \@listdepth % avoid changing format of inner lists
\dim_set_eq:NN \listparindent \l__keythms_thm_currparindent_dim
\dim_set_eq:NN \parsep \l__keythms_thm_currparskip_dim
}
}
}
\tl_gput_right:cn { g__keythms_thm_postheadfromkeys_#1_tl }
{ \cs_set_eq:NN \trivlist \__keythms_thm_origtrivlist: }
}
\hook_gput_code:nnn { begindocument/end } { . }
{ % use /end because hyperref redefines \Hy@theorem@makelinktarget in begindocument
\cs_new_eq:NN \__keythms_thm_origdeferred@thm@head:n \deferred@thm@head
\cs_new_eq:NN \__keythms_thm_origHy@theorem@makelinktarget:n \Hy@theorem@makelinktarget
}
\cs_new_protected:Npn \__keythms_thm_tcbcode:nn #1#2
{ % #1 = name, #2 = tcolorbox keys
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{
\cs_set_eq:NN \deferred@thm@head \__keythms_thm_storedeferred@thm@head:n
\cs_set_eq:NN \Hy@theorem@makelinktarget \use_none:n
% % ^ don't like playing with hyperref internals... but don't see around
% % it because hyperref tries to add to para hook which doesn't work
% % when title set up the way we do it
}
\tl_gput_right:cn { g__keythms_thm_postheadfromkeys_#1_tl }
{
\cs_set_eq:NN \deferred@thm@head \__keythms_thm_origdeferred@thm@head:n
\cs_set_eq:NN \Hy@theorem@makelinktarget \__keythms_thm_origHy@theorem@makelinktarget:n
}
\__keythms_thm_tcbshared:nn { #1 }
{
title={ \__keythms_thm_tcbtemphead: },
#2
}
\bool_if:NT \l__keythms_thm_numbered_bool
{
\tl_gclear_new:c { g__keythms_thm_tcbpatch_#1_tl }
\tl_gset:cn { g__keythms_thm_tcbpatch_#1_tl }
{
\IfPackageLoadedF { cleveref }
{ % hyperref doesn't patch \@thm if cleveref loaded
\tcbset
{
keythms_tcb_#1/.append~style = % fix hyperlinking
{ phantom={ \MakeLinkTarget*{\@currentHref} } }
}
}
}
}
\tl_gput_left:cn { g__keythms_thm_postheadfromkeys_#1_tl }
{ \begin{tcolorbox}[keythms_tcb_#1] }
\tl_gput_right:cn { g__keythms_thm_prefootfromkeys_#1_tl }
{ \end{tcolorbox} }
}
\cs_new_protected:Npn \__keythms_thm_tcbnotitlebarcode:nn #1#2
{ % #1 = name, #2 = tcolorbox keys
\__keythms_thm_tcbshared:nn { #1 } { #2 }
\tl_gclear_new:c { g__keythms_thm_tcbprehead_#1_tl }
\tl_gset:cn { g__keythms_thm_tcbprehead_#1_tl }
{ \begin{tcolorbox}[keythms_tcb_#1] }
\tl_gclear_new:c { g__keythms_thm_tcbpostfoot_#1_tl }
\tl_gset:cn { g__keythms_thm_tcbpostfoot_#1_tl }
{ \end{tcolorbox} }
}
\cs_new_protected:Npn \__keythms_thm_tcbshared:nn #1#2
{
\RequirePackage{tcolorbox}
\tcbset
{
keythms_tcb_#1/.style =
{
savedelimiter=#1,
#2
}
}
\tl_if_empty:NTF \l__keythms_thm_style_tl
{
\tl_set_eq:NN \l__keythms_thm_tempstyle_tl
\l__keythms_thm_currentthmstyle_tl
}
{ \tl_set_eq:NN \l__keythms_thm_tempstyle_tl \l__keythms_thm_style_tl }
\tl_gput_right:ce { g__keythms_thm_preheadfromkeys_#1_tl }
{ % don't mess with tcolorbox defaults unless explicitly asked to in style
\exp_not:N \tl_put_right:cn { th@ \l__keythms_thm_tempstyle_tl }
{ \thm@preskip=0pt \thm@postskip=0pt }
}
\tl_if_exist:cT
{ g__keythms_thmstyle_ \l__keythms_thm_tempstyle_tl _tcbspaceabove_skip }
{
\exp_args:Ne \tcbset
{
keythms_tcb_#1/.prefix~style =
{
before~skip =
\skip_use:c { g__keythms_thmstyle_ \l__keythms_thm_tempstyle_tl _tcbspaceabove_skip }
}
}
}
\tl_if_exist:cT
{ g__keythms_thmstyle_ \l__keythms_thm_tempstyle_tl _tcbspacebelow_skip }
{
\exp_args:Ne \tcbset
{
keythms_tcb_#1/.prefix~style =
{
after~skip =
\skip_use:c { g__keythms_thmstyle_ \l__keythms_thm_tempstyle_tl _tcbspacebelow_skip }
}
}
}
}
\cs_new_protected:Npn \__keythms_thm_storedeferred@thm@head:n #1
{
\cs_set:Npn \__keythms_thm_tcbtemphead: { \normalfont #1 }
\ignorespaces
}
\cs_new_protected:Npn \__keythms_thm_qedcode:nn #1#2
{ % #1 = name, #2 = symbol
\tl_gput_right:cn { g__keythms_thm_postheadfromkeys_#1_tl }
{
\tl_if_novalue:nF { #2 } { \protected@edef \qedsymbol { #2 } }
\pushQED{\qed}
}
\tl_gclear_new:c { g__keythms_thm_QEDprefoot_#1_tl }
\tl_gset:cn { g__keythms_thm_QEDprefoot_#1_tl }
{
\tl_if_novalue:nF { #2 } { \protected@edef \qedsymbol { #2 } }
\popQED
}
}
\cs_new_protected:Npn \__keythms_nocheck_removefromreset:nn #1#2
{ % need to fake @ckpt counter
\group_begin:
\cs_if_exist:cF { c@ #2 } { \cs_set:cpn { c@ #2 } { } }
\@removefromreset{ #1 }{ #2 }
\group_end:
}
\cs_new_protected:Npn \keythms_thm_renewkeythm:nn #1#2
{ % #1 = name, #2 = keys
\cs_if_exist:cTF { #1 }
{ \keythms_thm_declarekeythm:nn { #1 } { #2 } }
{ \msg_error:nnn { keytheorems } { thm-undefined} { #1 } }
}
\cs_new_protected:Npn \keythms_thm_providekeythm:nn #1#2
{ % #1 = name, #2 = keys
\cs_if_free:cT { #1 } { \keythms_thm_newkeythm:nn { #1 } { #2 } }
}
\cs_new_protected:Npn \keythms_thm_declarekeythm:nn #1#2
{ % #1 = name, #2 = keys
\cs_undefine:c { #1 }
\cs_undefine:c { c@ #1 }
\cs_undefine:c { the #1 }
\tl_if_exist:cT { g__keythms_thm_#1_parent_tl }
{ % remove parent counter binding
\exp_args:Nnv \@removefromreset { #1 } { g__keythms_thm_#1_parent_tl }
}
\__keythms_nocheck_removefromreset:nn { #1 } { @ckpt }
\cs_undefine:c { g__keythms_thm_QEDprefoot_#1_tl } % These are only
\cs_undefine:c { g__keythms_thm_tcbpatch_#1_tl } % conditionally defined
\cs_undefine:c { g__keythms_thm_tcbprehead_#1_tl } % Need to undefine
\cs_undefine:c { g__keythms_thm_tcbpostfoot_#1_tl } % so old defs not used
\keythms_thm_newkeythm:nn { #1 } { #2 }
}
\cs_new_eq:NN \__keythms_theoremstyle:n \theoremstyle
\cs_generate_variant:Nn \__keythms_theoremstyle:n { V }
\cs_new_eq:NN \__keythms_thm_new:w \newtheorem
\cs_new_protected:Npn \__keythms_thm_new_numbered:nn #1#2
{ \__keythms_thm_new:w { #1 } { #2 } }
\cs_generate_variant:Nn \__keythms_thm_new_numbered:nn { nV }
\cs_new_protected:Npn \__keythms_thm_new_unnumbered:nn #1#2
{ \__keythms_thm_new:w* { #1 } { #2 } }
\cs_generate_variant:Nn \__keythms_thm_new_unnumbered:nn { nV }
\cs_new_protected:Npn \__keythms_thm_new_parent:nnn #1#2#3
{
% for \renewkeytheorem need to know parent key if set
\tl_gclear_new:c { g__keythms_thm_#1_parent_tl }
\tl_gset:cn { g__keythms_thm_#1_parent_tl } { #3 }
\__keythms_thm_new:w { #1 } { #2 } [ #3 ]
}
\cs_generate_variant:Nn \__keythms_thm_new_parent:nnn { nVV }
\cs_new_protected:Npn \__keythms_thm_new_sibling:nnn #1#2#3
{ \__keythms_thm_new:w { #1 } [ #3 ] { #2 } }
\cs_generate_variant:Nn \__keythms_thm_new_sibling:nnn { nV }
\cs_new_protected:Npn \__keythms_thm_new_uuwithparent:nnn #1#2#3
{
\cs_undefine:c { keythms_orig_nonumber_#1 } % for renew, declare
\__keythms_thm_new_unnumbered:nn { keythms_orig_nonumber_#1 } { #2 }
\__keythms_thm_new_parent:nnn { #1 } { #2 } { #3 }
\DeclareEnvironmentCopy { keythms_orig_withparent_#1 } { #1 }
\renewenvironment { #1 } % opt arg is implicit
{
\setuniqmark{ #1. \use:c { the #3 } }
\ifuniq{ #1. \use:c { the #3 } }
{
\keythms_if_restating:F
{ \refstepcounter{ keythms_unnumbered_dummyctr } }
\IfPackageLoadedT { tcolorbox }
{ \tcbset{keythms_tcb_#1/.append~style=nophantom} }
% ^ otherwise we try to set two identical anchors
\begin{keythms_orig_nonumber_#1}
}
{
\begin{keythms_orig_withparent_#1}
}
}
{
\ifuniq{ #1. \use:c { the #3 } }
{ \end{keythms_orig_nonumber_#1} }
{ \end{keythms_orig_withparent_#1} }
}
}
\cs_generate_variant:Nn \__keythms_thm_new_uuwithparent:nnn { nVV }
% for getting notes with continues*, use nameref if available, otherwise ltproperties
\hook_gput_code:nnn { begindocument } { . }
{
\IfPackageLoadedTF { nameref }
{ % only need to record short-note if nameref loaded
\cs_new:Npn \__keythms_thmuse_recordnote:
{
\tl_if_empty:NF \l__keythms_thmuse_shortnote_tl
{
\RecordProperties
{ keythms_recordednote_\l__keythms_thmuse_label_tl }
{ keytheorems/recordedshortnote }
}
}
\cs_new:Npn \__keythms_getrecordednote:n #1
{
\getrefbykeydefault{ #1 }{ name }{ }
}
}
{
\property_new:nnnn { keytheorems/recordednote } { now } { }
{ \l__keythms_thmuse_note_tl }
\cs_new:Npn \__keythms_thmuse_recordnote:
{
\clist_clear:N \l__keythms_tmpa_clist
\tl_if_empty:NF \l__keythms_thmuse_note_tl
{
\clist_put_right:Nn \l__keythms_tmpa_clist
{ keytheorems/recordednote }
}
\tl_if_empty:NF \l__keythms_thmuse_shortnote_tl
{
\clist_put_right:Nn \l__keythms_tmpa_clist
{ keytheorems/recordedshortnote }
}
\clist_if_empty:NF \l__keythms_tmpa_clist
{
\RecordProperties
{ keythms_recordednote_\l__keythms_thmuse_label_tl }
{ \l__keythms_tmpa_clist }
}
}
\cs_new:Npn \__keythms_getrecordednote:n #1
{
\property_ref:nn { keythms_recordednote_#1 }
{ keytheorems/recordednote }
}
}
}
% this doesn't need to be at begindocument because doesn't depend on nameref
\property_new:nnnn { keytheorems/recordedshortnote } { now } { }
{ \l__keythms_thmuse_shortnote_tl }
\cs_new:Npn \__keythms_getrecordedshortnote:n #1
{
\property_ref:nn { keythms_recordednote_#1 }
{ keytheorems/recordedshortnote }
}
\keys_define:nn { keytheorems/thmuse }
{
continues .tl_set:N = \l__keythms_thmuse_contlabel_tl,
continues* .code:n =
{
\keys_set:nn { keytheorems/thmuse } { continues = #1 }
\protected@edef \l__keythms_tmpa_tl
{ \__keythms_getrecordednote:n { #1 } }
\tl_if_empty:NF \l__keythms_tmpa_tl
{
\keys_set:nn { keytheorems/thmuse }
{ note = \l__keythms_tmpa_tl }
}
},
label .tl_set:N = \l__keythms_thmuse_label_tl,
listhack .choice:, % needs equals sign
listhack / true .code:n = \bool_set_true:N \l__keythms_thmuse_listhack_bool,
listhack / false .code:n = \bool_set_false:N \l__keythms_thmuse_listhack_bool,
listhack .initial:n = false,
name .meta:n = { note = {#1} },
% ^ for compatibility. "name" is ambiguous and doesn't match amsthm language
note .tl_set:N = \l__keythms_thmuse_note_tl,
note .initial:n = {},
manual-num .tl_set:N = \l__keythms_thmuse_manualnum_tl,
restate .meta:n = { store = {#1} }, % thmtools compatibility
restate* .meta:n = { store* = {#1} },
restate-keys .clist_set:N = \l__keythms_thmuse_restatekeys_clist,
seq .code:n = {},
short-note .tl_set:N = \l__keythms_thmuse_shortnote_tl,
short-name .code:n = {},
store .tl_set:N = \l__keythms_thmuse_store_tl, % should this be .tl_set_e:N ?
store* .tl_set:N = \l__keythms_thmuse_storereversed_tl,
}
\cs_new_protected:Npn \keythms_keyify_theorem:n #1
{ % #1 = theorem name
\DeclareEnvironmentCopy { keythms_orig_#1 } { #1 }
\DeclareDocumentEnvironment { keythms_grab_#1 } { m m +b }
{ % ##1 = keys, ##2 = note, ##3 = theorem body
\__keythms_thm_prehead_code:n { #1 }
\begin{keythms_orig_#1}[{##2}]
\clist_map_inline:Nn \g__keythms_restatecounters_clist
{
\prop_gput:Nne \g__keythms_thmuse_othercounters_prop { ####1 }
{ \the\value{####1} }
}
\__keythms_thm_posthead_code:n { #1 }
% below needs to come after posthead so that correct \@currentHref
% is stored for tcolorbox theorems
\__keythms_thm_addcontentsdata:nnnn { #1 }
{ \prop_to_keyval:N \g__keythms_thmuse_othercounters_prop }
{ ##1 } { ##3 }
\__keythms_thm_tempstorerestatedata:nnn { #1 } { ##1 } { ##3 }
##3
\__keythms_thm_prefoot_code:n { #1 }
\end{keythms_orig_#1}
\__keythms_thm_postfoot_code:n { #1 }
}
{ }
\DeclareDocumentEnvironment { keythms_grabreversed_#1 } { m m +b }
{ % ##1 = keys, ##2 = note, ##3 = theorem body
\tl_if_exist:cTF
{ c__keythms_storeatbegin_ \l__keythms_thmuse_storereversed_tl _restatecounters_tl }
{
\bool_set_true:N \l__keythms_thmuse_restating_bool
\prop_set_from_keyval:Ne \l__keythms_restate_counters_prop
{ \tl_use:c { c__keythms_storeatbegin_ \l__keythms_thmuse_storereversed_tl _restatecounters_tl } }
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\tl_set:ce { l_keythms_restate_current_####1_tl }
{ \the\value{####1} }
\setcounter { ####1 } { ####2 }
% ^ FIX: what if eq's numbered by section, theorem, etc.? The
% thmtools code is opaque.... Or maybe should be up to the
% user to say "restate-counters={section,chapter,...}".
\cs_set:cpn { theH ####1 }
{ \use:c { the ####1 } . \theHkeythms_restate_dummyctr }
}
\tl_if_empty:cTF
{ c__keythms_storeatbegin_ \l__keythms_thmuse_storereversed_tl _label_tl }
{ \refstepcounter{keythms_restate_dummyctr} } % for unnumbered theorems
{
\cs_set:cpn { the #1 }
{ \tl_use:c { c__keythms_storeatbegin_ \l__keythms_thmuse_storereversed_tl _label_tl } }
\cs_set_eq:cN { c@ #1 } \c@keythms_restate_dummyctr
\cs_set_eq:cN { theH #1 } \theHkeythms_restate_dummyctr
% ^ why are the last two lines here? We shouldn't be referencing
% restated theorems. Think it's a remnant of thmtools
% WRONG: needed to make numbering correct after restated theorem.
% not sure about theH. <- this is needed to prevent duplicate anchors
}
}
{
\msg_warning:nnV { keytheorems } { store-reversed-not-got }
\l__keythms_thmuse_storereversed_tl
}
\__keythms_thm_prehead_code:n { #1 }
\hook_use:n { keytheorems/#1/restated }
\hook_use:n { keytheorems/allthms/restated }
\begin{keythms_orig_#1}[{##2}]
\__keythms_thm_posthead_code:n { #1 }
% below needs to come after posthead so that correct \@currentHref
% is stored for tcolorbox theorems
\__keythms_thm_addstoredreverseddata:nnn { #1 } { ##1 } { ##3 }
\__keythms_thm_tempstorerestatedatareversed:nnn { #1 } { ##1 } { ##3 }
##3
\__keythms_thm_prefoot_code:n { #1 }
\end{keythms_orig_#1}
\__keythms_thm_postfoot_code:n { #1 }
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\exp_args:Nnc \setcounter { ####1 }
{ l_keythms_restate_current_####1_tl }
}
}
{ }
% NOTE: have to do a lot of shenanigans to make sure the begin/end of grabbed
% theorem env captures only the body and no package code.
% This is the price of on-the-fly redefining the env to grab body
\RenewDocumentEnvironment { #1 } { ={note} o }
{
\tl_set:Nn \l_keythms_thmuse_envname_tl { #1 }
\tl_if_novalue:nF { ##1 }
{ \keys_set:nn { keytheorems/thmuse } { ##1 } }
\tl_if_empty:NTF \l__keythms_thmuse_store_tl
{
\tl_if_empty:NTF \l__keythms_thmuse_storereversed_tl
{ \__keythms_thm_prehead_code:n { #1 } }
{
\bool_gset_true:N \g__keythms_listof_writefile_bool
\cs_set_eq:NN \__keythms_withhooks_begin:nnn \__keythms_grabreversed_begin:nnn
\cs_set_eq:NN \__keythms_withhooks_end:n \__keythms_grabreversed_end:n
}
}
{
\bool_gset_true:N \g__keythms_listof_writefile_bool
\cs_set_eq:NN \__keythms_withhooks_begin:nnn \__keythms_grab_begin:nnn
\cs_set_eq:NN \__keythms_withhooks_end:n \__keythms_grab_end:n
}
\__keythms_withhooks_begin:nnV { #1 } { ##1 } \l__keythms_thmuse_note_tl
}
{
\__keythms_withhooks_end:n { #1 }
\tl_if_empty:NF \l__keythms_thmuse_store_tl
{
\cs_if_exist:cF
{ __keythms_getthm_ \l__keythms_thmuse_store_tl _theorem }
{
\cs_new:cpe
{ __keythms_getthm_ \l__keythms_thmuse_store_tl _theorem }
{
\exp_not:N \__keythms_getthm_theorem:nnnnn
\exp_not:o { \g__keythms_thmuse_temprestatedata_tl }
}
\cs_new:cpe
{ __keythms_getthm_ \l__keythms_thmuse_store_tl _body }
{
\exp_not:N \__keythms_getthm_body:nnn
\exp_args:No \exp_not:o
{
\exp_after:wN \__keythms_use_i_iii_v_braced:nnnnn
\g__keythms_thmuse_temprestatedata_tl
}
}
}
}
\tl_if_empty:NF \l__keythms_thmuse_storereversed_tl
{
\cs_if_exist:cF
{ __keythms_getthm_ \l__keythms_thmuse_storereversed_tl _theorem }
{
\cs_new:cpe
{ __keythms_getthm_ \l__keythms_thmuse_storereversed_tl _theorem }
{
\exp_not:N \__keythms_getthmreversed_theorem:nnn
\exp_not:o { \g__keythms_thmuse_temprestatedatareversed_tl }
}
\cs_new:cpn
{ __keythms_getthm_ \l__keythms_thmuse_storereversed_tl _body }
{
\textbf{??}
\msg_warning:nnn { keytheorems } { restate-body-never-got }
{ #1 }
}
}
}
}
}
\cs_new:Npn \__keythms_use_i_iii_v_braced:nnnnn #1#2#3#4#5 { {#1}{#3}{#5} }
% withhooks_begin does not include prehead hook because we want to be able to access note
\cs_new_protected:Npn \__keythms_withhooks_begin:nnn #1#2#3
{ % #1 = theorem name, #2 = keys, #3 = note
\begin{keythms_orig_#1}[{#3}]
\__keythms_thm_posthead_code:n { #1 }
\__keythms_thm_addcontentsdata:nnnn { #1 } { } { #2 } { }
\ignorespaces % I hope this is alright
}
\cs_generate_variant:Nn \__keythms_withhooks_begin:nnn { nnV }
\cs_new_protected:Npn \__keythms_withhooks_end:n #1
{
\__keythms_thm_prefoot_code:n { #1 }
\end{keythms_orig_#1}
\__keythms_thm_postfoot_code:n { #1 }
}
\cs_new_protected:Npn \__keythms_grab_begin:nnn #1#2#3
{ % #1 = theorem name, #2 = keys, #3 = note
\begin{keythms_grab_#1}{#2}{#3}
}
\cs_generate_variant:Nn \__keythms_grab_begin:nnn { nnV }
\cs_new_protected:Npn \__keythms_grab_end:n #1 { \end{keythms_grab_#1} }
\cs_new_protected:Npn \__keythms_grabreversed_begin:nnn #1#2#3
{ % #1 = theorem name, #2 = keys, #3 = note
\begin{keythms_grabreversed_#1}{#2}{#3}
}
\cs_generate_variant:Nn \__keythms_grabreversed_begin:nnn { nnV }
\cs_new_protected:Npn \__keythms_grabreversed_end:n #1
{ \end{keythms_grabreversed_#1} }
\cs_new_protected:Npn \__keythms_orig_begin:nn #1#2
{ \begin{keythms_orig_#1}[{#2}] }
\cs_generate_variant:Nn \__keythms_orig_begin:nn { nV }
\cs_new_protected:Npn \__keythms_orig_end:n #1 { \end{keythms_orig_#1} }
%% this below has to be separate from withhooks_begin above since we need to add
%% continues-code to note before retrieving it in \__keythms_withhooks_begin:nnV
\cs_new_protected:Npn \__keythms_thm_prehead_code:n #1
{ % #1 = theorem name
\tl_if_empty:NF \l__keythms_thmuse_contlabel_tl
{
\tl_if_empty:NF \l__keythms_thmuse_note_tl
{ \tl_put_right:Nn \l__keythms_thmuse_note_tl { , ~ } }
\tl_put_right:Ne \l__keythms_thmuse_note_tl
{ \__keythms_thmuse_continues:V \l__keythms_thmuse_contlabel_tl }
\cs_set:cpn { the #1 }
{
\getrefnumber { \l__keythms_thmuse_contlabel_tl }
}
\cs_set_eq:cN { c@ #1 } \c@keythms_continues_dummyctr
\cs_set_eq:cN { theH #1 } \theHkeythms_continues_dummyctr
%\cs_set_eq:NN \setuniqmark \use_none:n % not the right fix
}
\tl_if_empty:NF \l__keythms_thmuse_manualnum_tl
{
\cs_set:cpn { the #1 }
{ % prevent expansion for unexpandable tokens in \the<counter>
\exp_not:N \exp_not:n { \l__keythms_thmuse_manualnum_tl }
}
\cs_set_eq:cN { c@ #1 } \c@keythms_manualnum_dummyctr
\cs_set_eq:cN { theH #1 } \theHkeythms_manualnum_dummyctr
}
\hook_use:n { keytheorems/#1/prehead }
\hook_use:n { keytheorems/allthms/prehead }
% \use:c instead of \tl_use:c so doesn't error if tl doesn't exist
\use:c { g__keythms_thm_tcbprehead_#1_tl }
}
\cs_new_protected:Npn \__keythms_thm_posthead_code:n #1
{ % #1 = theorem name
\hook_use:n { keytheorems/#1/posthead }
\hook_use:n { keytheorems/allthms/posthead }
\tl_if_empty:NF \l__keythms_thmuse_label_tl
{
\label{ \l__keythms_thmuse_label_tl }
\__keythms_thmuse_recordnote:
}
\bool_if:NT \l__keythms_thmuse_listhack_bool
{ % straight from thm-amsthm.sty
\leavevmode
\vspace{-\baselineskip}%
\par
\everypar{\setbox\z@\lastbox\everypar{}}%
}
}
\cs_new_protected:Npn \__keythms_thm_prefoot_code:n #1
{ % #1 = theorem name
\use:c { g__keythms_thm_QEDprefoot_#1_tl }
\hook_use:n { keytheorems/allthms/prefoot }
\hook_use:n { keytheorems/#1/prefoot }
}
\cs_new_protected:Npn \__keythms_thm_postfoot_code:n #1
{ % #1 = theorem name
\use:c { g__keythms_thm_tcbpostfoot_#1_tl }
\hook_use:n { keytheorems/allthms/postfoot }
\hook_use:n { keytheorems/#1/postfoot }
}
\cs_new_protected:Npn \__keythms_thm_addcontentsdata:nnnn #1#2#3#4
{ % #1 = theorem name, #2 = stored counters, #3 = keys, #4 = body
\keythms_listof_chaptervspacehack:
\iow_shipout:Ne \@auxout
{
\token_to_str:N \@writefile { thlist }
{
\token_to_str:N \KeyThmsSavedTheorem{ #1 }
{ \@currentlabel }
{ \@currentHref }
{ \thepage }
{ #2 }
{ \tl_if_novalue:nF { #3 } { \exp_not:n { #3 } } }
{ \exp_not:n { #4 } }
}
}
}
\cs_new_protected:Npn \__keythms_thm_addstoredreverseddata:nnn #1#2#3
{ % #1 = theorem name, #2 = keys, #3 = body
\iow_shipout:Ne \@auxout
{
\token_to_str:N \@writefile { thlist }
{
\token_to_str:N \KeyThmsSavedTheoremReversed { \l__keythms_thmuse_storereversed_tl }
{ #1 }
{ \exp_not:n { #2 } }
{ \exp_not:n { #3 } }
}
}
}
\cs_new_protected:Npn \__keythms_thm_tempstorerestatedata:nnn #1#2#3
{ % #1 = theorem name, #2 = keys, #3 = body
\tl_gset:Ne \g__keythms_thmuse_temprestatedata_tl % needs to be global to get out of env
{
{ #1 }
{ \@currentlabel }
{ \prop_to_keyval:N \g__keythms_thmuse_othercounters_prop }
{ \exp_not:n { #2 } }
{ \exp_not:n { #3 } }
}
}
\cs_new_protected:Npn \__keythms_thm_tempstorerestatedatareversed:nnn #1#2#3
{
\tl_gset:Ne \g__keythms_thmuse_temprestatedatareversed_tl % needs to be global to get out of env
{
{ #1 }
{ \exp_not:n { #2 } }
{ \exp_not:n { #3 } }
}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Retrieving Theorem Data %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cs_new_protected:Npn \KeyThmsSavedTheorem #1#2#3#4#5#6#7 % 7th arg is body
{ \use:c { __keythms_thmitem_#1:nnnnnn } {#2}{#3}{#4}{#5}{#6}{#7} }
\cs_new_protected:Npn \KeyThmsSavedTheoremReversed #1#2#3#4 { } % gobble by default
\keys_define:nn { keytheorems/storeatbegin }
{
restate .meta:n = { store = {#1} },
restate* .meta:n = { store* = {#1} },
store .tl_set:N = \l__keythms_storeatbegin_store_tl,
store* .tl_set:N = \l__keythms_storeatbegin_storereversed_tl,
unknown .code:n = {} % do nothing with unknown keys
}
\cs_new_protected:Npn \KeyThmsContentsLine #1 { }
% ^ initially a no-op, redefined where needed; important it's protected!
\NewDocumentCommand \addtheoremcontentsline { m +m }
{
\addtocontents { thlist }
{
\KeyThmsContentsLine
{ % copied from def of \addcontentsline
\protect\contentsline{#1}{#2}{\thepage}{}
\protected@file@percent
}
}
}
\NewDocumentCommand \addtotheoremcontents { +m }
{
\addtocontents { thlist }
{
\KeyThmsContentsLine { #1 }
}
}
\hook_gput_code:nnn { begindocument } { . }
{
\group_begin:
\cs_set_protected:Npn \KeyThmsSavedTheorem #1#2#3#4#5#6#7
{
\group_begin:
\keys_set:nn { keytheorems/storeatbegin } { #6 }
\tl_if_empty:NF \l__keythms_storeatbegin_store_tl
{
\cs_new_protected:cpn
{ __keythms_getthm_ \l__keythms_storeatbegin_store_tl _theorem }
{
\__keythms_getthm_theorem:nnnnn
{#1}{#2}{#5}{#6}{#7}
}
\cs_new_protected:cpn
{ __keythms_getthm_ \l__keythms_storeatbegin_store_tl _body }
{
\__keythms_getthm_body:nnn {#1}{#5}{#7}
}
}
\tl_if_empty:NF \l__keythms_storeatbegin_storereversed_tl
{
\tl_const:cn
{ c__keythms_storeatbegin_ \l__keythms_storeatbegin_storereversed_tl _label_tl }
{ #2 }
\tl_const:cn
{ c__keythms_storeatbegin_ \l__keythms_storeatbegin_storereversed_tl _restatecounters_tl }
{ #5 }
\cs_new_protected:cpn
{ __keythms_getthm_ \l__keythms_storeatbegin_storereversed_tl _body }
{
\__keythms_getthm_body:nnn {#1}{#5}{#7}
}
}
\group_end:
}
\cs_set_protected:Npn \KeyThmsSavedTheoremReversed #1#2#3#4
{
\bool_new:c { g__keythms_restate_#1_called_bool }
\cs_gset:cpn { __keythms_getthm_#1_theorem }
{ \__keythms_getthmreversed_theorem:nnn { #2 } { #3 } { #4 } }
\hook_gput_code:nnn { begindocument/end } { . }
{
\cs_if_exist:cF { __keythms_getthm_#1_body }
{
\cs_new_protected:cpn { __keythms_getthm_#1_body }
{
\textbf{??}
\msg_warning:nnn { keytheorems } { restate-body-never-got } { #1 }
}
}
}
}
\file_if_exist_input:n { \c_sys_jobname_str.thlist }
\group_end:
}
\prg_new_conditional:Npnn \keythms_if_restating: { T, F, TF }
{
\bool_if:NTF \l__keythms_thmuse_restating_bool
{ \prg_return_true: }
{ \prg_return_false: }
}
\NewDocumentCommand \IfRestatingTF { } { \keythms_if_restating:TF }
\NewDocumentCommand \IfRestatingT { } { \keythms_if_restating:T }
\NewDocumentCommand \IfRestatingF { } { \keythms_if_restating:F }
\cs_if_exist:NF \@gobble@som
{ % defined in ltsect.dtx 1.1g
\DeclareExpandableDocumentCommand\@gobble@om{+o+m}{}
\DeclareExpandableDocumentCommand\@gobble@som{s+o+m}{}
}
\hook_gput_code:nnn { keytheorems/allthms/restated } { . }
{ % code to disable things in restated theorems
\cs_set_eq:NN \label \@gobble@om % opt arg in case cleveref loaded
\cs_set_eq:NN \ltx@label \use_none:n % thmtools does this; why?
\cs_set_eq:NN \property_record:nn \use_none:nn
\cs_set_eq:NN \setuniqmark \use_none:n % work with numbered=unless-unique
\cs_set_eq:NN \index \@gobble@som % see ltsect.dtx
\cs_set_eq:NN \glossary \@gobble@om % see ltsect.dtx
% QUESTION: also disable \hyper@@anchor? \MakeLinkTarget?
}
\cs_new_protected:Npn \__keythms_getthm_theorem:nnnnn #1#2#3#4#5
{ % #1 = name, #2 = number, #3 = restate counters, #4 = keys, #5 = theorem body
\group_begin:
\bool_set_true:N \l__keythms_thmuse_restating_bool
\prop_set_from_keyval:Nn \l__keythms_restate_counters_prop { #3 }
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\tl_set:ce { l_keythms_restate_current_##1_tl } { \the\value{##1} }
\setcounter { ##1 } { ##2 }
% ^ FIX: what if eq's numbered by section, theorem, etc.? The
% thmtools code is opaque.... Or maybe should be up to the
% user to say "restate-counters={section,chapter,...}".
\cs_set:cpn { theH ##1 }
{ \use:c { the ##1 } . \theHkeythms_restate_dummyctr }
}
\tl_if_empty:nTF { #2 }
{ \refstepcounter{keythms_restate_dummyctr} } % for unnumbered theorems
{
\cs_set:cpn { the #1 } { #2 }
\cs_set_eq:cN { c@ #1 } \c@keythms_restate_dummyctr
\cs_set_eq:cN { theH #1 } \theHkeythms_restate_dummyctr
% ^ why are the last two lines here? We shouldn't be referencing
% restated theorems. Think it's a remnant of thmtools
% WRONG: needed to make numbering correct after restated theorem.
% not sure about theH. <- this is needed to prevent duplicate anchors
}
\tl_set:Nn \l_keythms_thmuse_envname_tl { #1 }
\keys_set:nn { keytheorems/thmuse } { #4 }
\keys_set:no { keytheorems/thmuse } { \l__keythms_thmuse_restatekeys_clist }
\__keythms_thm_prehead_code:n { #1 }
\hook_use:n { keytheorems/#1/restated }
\hook_use:n { keytheorems/allthms/restated }
\__keythms_orig_begin:nV { #1 } \l__keythms_thmuse_note_tl
\__keythms_thm_posthead_code:n { #1 }
#5
\__keythms_thm_prefoot_code:n { #1 }
\__keythms_orig_end:n { #1 }
\__keythms_thm_postfoot_code:n { #1 }
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\exp_args:Nnc \setcounter { ##1 }
{ l_keythms_restate_current_##1_tl }
}
\group_end:
}
\cs_new_protected:Npn \__keythms_getthm_body:nnn #1#2#3
{ % #1 = name, #2 = restate counters, #3 = theorem body
\group_begin:
\bool_set_true:N \l__keythms_thmuse_restating_bool
\prop_set_from_keyval:Nn \l__keythms_restate_counters_prop { #2 }
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\tl_set:ce { l_keythms_restate_current_##1_tl } { \the\value{##1} }
\setcounter { ##1 } { ##2 }
% ^ FIX: what if eq's numbered by section, theorem, etc.? The
% thmtools code is opaque.... Or maybe should be up to the
% user to say "restate-counters={section,chapter,...}".
\cs_set:cpn { theH ##1 }
{ \use:c { the ##1 } . \theHkeythms_restate_dummyctr }
}
\refstepcounter{keythms_restate_dummyctr}
\hook_use:n { keytheorems/#1/restated }
\hook_use:n { keytheorems/allthms/restated }
#3
\prop_map_inline:Nn \l__keythms_restate_counters_prop
{
\exp_args:Nnc \setcounter { ##1 }
{ l_keythms_restate_current_##1_tl }
}
\group_end:
}
\cs_new_protected:Npn \__keythms_getthmreversed_theorem:nnn #1#2#3
{ % #1 = envname, #2 = keys, #3 = theorem body
\group_begin:
\bool_set_false:N \l__keythms_thmuse_restating_bool
\tl_set:Nn \l_keythms_thmuse_envname_tl { #1 }
\keys_set:nn { keytheorems/thmuse } { #2 }
\keys_set:no { keytheorems/thmuse } { \l__keythms_thmuse_restatekeys_clist }
\__keythms_thm_prehead_code:n { #1 }
\__keythms_orig_begin:nV { #1 } \l__keythms_thmuse_note_tl
\clist_map_inline:Nn \g__keythms_restatecounters_clist
{
\prop_gput:Nne \g__keythms_thmuse_othercounters_prop { ##1 }
{ \the\value{##1} }
}
\__keythms_thm_posthead_code:n { #1 }
\__keythms_thm_addcontentsdata:nnnn { #1 }
{ \prop_to_keyval:N \g__keythms_thmuse_othercounters_prop }
{ #2 } { #3 }
\__keythms_thm_tempstorerestatedata:nnn { #1 } { #2 } { #3 } % for defining getthm_body
#3
\__keythms_thm_prefoot_code:n { #1 }
\__keythms_orig_end:n { #1 }
\__keythms_thm_postfoot_code:n { #1 }
% While we're here, define getthm_body
\cs_if_exist:cF
{ __keythms_getthm_ \l__keythms_thmuse_storereversed_tl _body }
{
\cs_new:cpe
{ __keythms_getthm_ \l__keythms_thmuse_storereversed_tl _body }
{
\exp_not:N \__keythms_getthm_body:nnn
\exp_args:No \exp_not:o
{
\exp_after:wN \__keythms_use_i_iii_v_braced:nnnnn
\g__keythms_thmuse_temprestatedata_tl
}
}
}
\bool_gset_true:c
{ g__keythms_restate_ \l__keythms_thmuse_storereversed_tl _called_bool }
\group_end:
}
\NewDocumentCommand \getkeytheorem { O{theorem} m }
{ % #1 = property, #2 = tag
\cs_if_exist:cTF { __keythms_getthm_#2_#1 }
{
\bool_if_exist:cTF { g__keythms_restate_#2_called_bool }
{
\str_if_eq:nnTF { #1 } { theorem }
{
\bool_if:cTF
{ g__keythms_restate_#2_called_bool }
{
\msg_error:nnn { keytheorems }
{ store-reversed-called-twice } { #2 }
}
{ \use:c { __keythms_getthm_#2_#1 } }
}
{ \use:c { __keythms_getthm_#2_#1 } }
}
{ \use:c { __keythms_getthm_#2_#1 } }
}
{
\textbf{??}
\cs_if_exist:cTF { __keythms_getthm_#2_theorem }
{
\msg_warning:nnnn { keytheorems } { no-prop-for-stored-theorem }
{ #1 } { #2 } % should this be an error?
}
{ \msg_warning:nnn { keytheorems } { no-stored-theorem } { #2 } }
}
}
%%%%%%%%%%%%%%%%%%%%%
%%% Theorem Hooks %%%
%%%%%%%%%%%%%%%%%%%%%
\NewDocumentCommand \addtotheoremhook { O{allthms} m +m }
{ % #1 = envname, #2 = hook, #3 = code
\__hook_if_declared:nTF { keytheorems/allthms/#2 }
{
\hook_gput_code:nnn { keytheorems/#1/#2 } { . } { #3 }
}
{
\msg_error:nnn { keytheorems } { undefined-thm-hook } { #2 }
}
}
% NOTE: I think it's OK we use the internal \__hook_if_declared:nTF above
% since we don't need to worry about the user creating new theorem hooks
% so, as we're only checking the existence of hooks created by us, it's OK.
%%%%%%%%%%%%%%%%%%%%%%%%
%%% List of Theorems %%%
%%%%%%%%%%%%%%%%%%%%%%%%
\keys_define:nn { keytheorems/listof }
{
chapter-skip-length .dim_set:N = \keythms@listof@chaptervspace@dim,
chapter-skip-length .initial:n = 10pt,
format-code .cs_set:Np = \__keythms_listof_misdirect:nnn #1#2#3,
format-code .initial:n = \numberline{#2}#1#3,
ignore .code:n =
{
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{ \keythms_listof_ignore:n { #1 } }
},
ignoreall .code:n =
{ % in case called before theorem defined
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_ignore_aux:n { ##1 } }
}
},
ignoreall .value_forbidden:n = true,
indent .dim_set:N = \l__keythms_listof_indent_dim,
indent .initial:n = 1.5em,
no-chapter-skip .bool_set:N = \l__keythms_listof_nochapskip_bool,
no-chapter-skip .initial:n = false,
no-continues .bool_set:N = \l__keythms_listof_nocont_bool,
no-continues .initial:n = false,
no-title .bool_set:N = \l__keythms_listof_notitle_bool,
no-title .initial:n = false,
no-toc .bool_set:N = \l__keythms_listof_notoc_bool,
no-toc .initial:n = false, % false does not mean "to-toc" for standard classes
note-code .cs_set:Np = \__keythms_listof_notecmd:n #1,
note-code .initial:n = { ~ (#1) },
numwidth .dim_set:N = \l__keythms_listof_numwidth_dim,
numwidth .initial:n = 2.3em,
onlynamed .code:n =
{
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{ \keythms_listof_onlynamed:n { #1 } }
},
onlynamed .default:n = \q_no_value,
onlynumbered .code:n =
{
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{ \keythms_listof_onlynumbered:n { #1 } }
},
onlynumbered .default:n = \q_no_value,
print-body .code:n =
{
\cs_set_protected:Nn \keythms_listof_listcmd:nnnnnnn
{
\tl_if_empty:nF { ##7 }
{ \__keythms_getthm_theorem:nnnnn {##1}{##2}{##5}{##6}{##7} }
}
},
print-body .value_forbidden:n = true,
seq .code:n =
{
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{ \keythms_listof_showseq:n { #1 } }
},
show .code:n =
{
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{ \keythms_listof_show:n { #1 } }
},
showall .code:n =
{ % in case called before theorem defined
\hook_gput_code:nnn { begindocument/before } { keytheorems }
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_show_aux:n { ##1 } }
}
},
showall .value_forbidden:n = true,
swapnumber .bool_set:N = \l__keythms_listof_swapnumber_bool,
swapnumber .initial:n = false,
title .tl_set:N = \l__keythms_listof_title_tl,
title .initial:n = \GetTranslation{keythms_listof_title},
title-code .cs_set:Np = \__keythms_listof_titlecmd:n #1,
}
\hook_gput_code:nnn { begindocument } { . }
{ % redefine these keys at begindocument
\keys_define:nn { keytheorems/listof }
{
ignore .code:n = \keythms_listof_ignore:n { #1 },
ignoreall .code:n =
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_ignore_aux:n { ##1 } }
},
onlynamed .code:n = \keythms_listof_onlynamed:n { #1 },
onlynamed .default:n = \q_no_value,
onlynumbered .code:n = \keythms_listof_onlynumbered:n { #1 },
onlynumbered .default:n = \q_no_value,
seq .code:n = \keythms_listof_showseq:n { #1 },
show .code:n = \keythms_listof_show:n { #1 },
showall .code:n =
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_show_aux:n { ##1 } }
},
}
}
\NewDocumentCommand \keytheoremlistset { +m }
{
\keys_set:nn { keytheorems/listof } { #1 }
}
\cs_new_protected:Npn \keythms_listof_ignore:n #1
{
\clist_map_inline:nn { #1 } { \__keythms_listof_ignore_aux:n { ##1 } }
}
\cs_new_protected:Npn \__keythms_listof_ignore_aux:n #1
{
\cs_set_protected:cpn { __keythms_thmitem_#1:nnnnnn } ##1##2##3##4##5##6 { }
}
\cs_new_protected:Npn \keythms_listof_show:n #1
{
\clist_map_inline:nn { #1 } { \__keythms_listof_show_aux:n { ##1 } }
}
\cs_new_protected:Npn \__keythms_listof_show_aux:n #1
{
\cs_set_protected:cpn { __keythms_thmitem_#1:nnnnnn } ##1##2##3##4##5##6
{
\__keythms_listof_listcmd_setup:nn { ##5 }
{
\keythms_listof_listcmd:nnnnnnn
{#1}{##1}{##2}{##3}{##4}{##5}{##6}
}
}
}
\cs_new_protected:Npn \keythms_listof_onlynamed:n #1
{
\quark_if_no_value:nTF { #1 }
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_onlynamed_aux:n { ##1 } }
}
{
\clist_map_inline:nn { #1 }
{ \__keythms_listof_onlynamed_aux:n { ##1 } }
}
}
\cs_new_protected:Npn \__keythms_listof_onlynamed_aux:n #1
{
\cs_set_protected:cpn { __keythms_thmitem_#1:nnnnnn } ##1##2##3##4##5##6
{
\__keythms_listof_listcmd_setup:nn { ##5 }
{
\tl_if_empty:NF \l__keythms_listofheading_note_tl
{
\keythms_listof_listcmd:nnnnnnn
{#1}{##1}{##2}{##3}{##4}{##5}{##6}
}
}
}
}
\cs_new_protected:Npn \keythms_listof_onlynumbered:n #1
{
\quark_if_no_value:nTF { #1 }
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_onlynumbered_aux:n { ##1 } }
}
{
\clist_map_inline:nn { #1 }
{ \__keythms_listof_onlynumbered_aux:n { ##1 } }
}
}
\cs_new_protected:Npn \__keythms_listof_onlynumbered_aux:n #1
{
\cs_set_protected:cpn { __keythms_thmitem_#1:nnnnnn } ##1##2##3##4##5##6
{
\__keythms_listof_listcmd_setup:nn { ##5 }
{
\tl_if_empty:nF { ##1 }
{
\keythms_listof_listcmd:nnnnnnn
{#1}{##1}{##2}{##3}{##4}{##5}{##6}
}
}
}
}
\cs_new_protected:Npn \keythms_listof_showseq:n #1
{
\prop_map_inline:Nn \g__keythms_thmnames_prop
{ \__keythms_listof_showseq_aux:nn { #1 } { ##1 } }
}
\cs_new_protected:Npn \__keythms_listof_showseq_aux:nn #1#2
{ % #1 = seq name, #2 = theorem name
\cs_set_protected:cpn { __keythms_thmitem_#2:nnnnnn } ##1##2##3##4##5##6
{
\__keythms_listof_listcmd_setup:nn { ##5 }
{
\tl_if_eq:NnT \l__keythms_listofheading_seq_tl { #1 }
{
\keythms_listof_listcmd:nnnnnnn
{#2}{##1}{##2}{##3}{##4}{##5}{##6}
}
}
}
}
% Seems unnecessary to repeat all this for reading the keyvals from file.
% In thmtools they just hook the "thmitem" definition into the theorem declaration.
%% NOTE ON ABOVE: this gives more flexibility to define different kinds of lists.
%% See acro.sty for template idea.
\keys_define:nn { keytheorems/listofheading }
{
continues .tl_set:N = \l__keythms_listofheading_contlabel_tl,
continues* .code:n =
{
\keys_set:nn { keytheorems/listofheading } { continues = #1 }
\protected@edef \l__keythms_tmpa_tl { \__keythms_getrecordednote:n {#1} }
\tl_if_empty:NF \l__keythms_tmpa_tl
{
\keys_set:nn { keytheorems/listofheading }
{ note = \l__keythms_tmpa_tl }
}
\protected@edef \l__keythms_tmpb_tl { \__keythms_getrecordedshortnote:n {#1} }
\tl_if_empty:NF \l__keythms_tmpb_tl
{
\keys_set:nn { keytheorems/listofheading }
{ short-note = \l__keythms_tmpb_tl }
}
},
name .meta:n = { note = {#1} },
note .tl_set:N = \l__keythms_listofheading_note_tl,
restate* .meta:n = { store* = {#1} },
restate-keys .clist_set:N = \l__keythms_listofheading_restatekeys_clist,
seq .tl_set:N = \l__keythms_listofheading_seq_tl,
short-note .tl_set:N = \l__keythms_listofheading_shortnote_tl,
short-name .meta:n = { short-note = {#1} },
store* .code:n =
{
\bool_set_true:N \l__keythms_listofheading_storereversed_bool
},
unknown .code:n = {} % do nothing with unknown keys
}
\cs_new:Npn \__keythms_listof_printnote:
{
\tl_if_empty:NTF \l__keythms_listofheading_shortnote_tl
{
\tl_if_empty:NF \l__keythms_listofheading_note_tl
{ \__keythms_listof_notecmd:n { \l__keythms_listofheading_note_tl } }
}
{
\__keythms_listof_notecmd:n { \l__keythms_listofheading_shortnote_tl }
}
}
\cs_new:Npn \keythms_listof_listcmd:nnnnnnn #1#2#3#4#5#6#7
{ % #1=name, #2=number, #3=Href, #4=page, #5=restate counters, #6=keys, #7=body
\contentsline{ #1 }
{
\__keythms_listof_misdirect:nnn
{ \prop_item:Nn \g__keythms_thmnames_prop { #1 } }
{ #2 }
{ \__keythms_listof_printnote: }
}
{ #4 }{ #3 }
}
\NewDocumentCommand \__keythms_listof_pagerefnolink:w { s m }
{ \getpagerefnumber{#2} } % tagging does not like links within link
% NOTE: We still need to do this setup for [print-body] so that onlynamed works
\cs_new_protected:Npn \__keythms_listof_listcmd_setup:nn #1#2
{ % #1 = keys, #2 = list command
\group_begin:
\keys_set:nn { keytheorems/listofheading } { #1 }
\bool_if:NT \l__keythms_listofheading_storereversed_bool
{
\keys_set:no { keytheorems/listofheading }
{ \l__keythms_listofheading_restatekeys_clist }
}
\tl_if_empty:NTF \l__keythms_listofheading_contlabel_tl
{ #2 }
{
\bool_if:NF \l__keythms_listof_nocont_bool
{
\tl_if_empty:NTF \l__keythms_listofheading_shortnote_tl
{
\tl_if_empty:NF \l__keythms_listofheading_note_tl
{
\tl_put_right:Nn \l__keythms_listofheading_note_tl { , ~ }
}
\tl_put_right:Nn \l__keythms_listofheading_note_tl
{
\__keythms_thmuse_continues:V
\l__keythms_listofheading_contlabel_tl
}
}
{
\tl_put_right:Nn \l__keythms_listofheading_shortnote_tl
{
, ~
\__keythms_thmuse_continues:V
\l__keythms_listofheading_contlabel_tl
}
}
\cs_set_eq:NN \pageref \__keythms_listof_pagerefnolink:w % always no link
#2
}
}
\group_end:
}
\cs_if_exist:NTF \chapter
{ \cs_set_protected:Npn \__keythms_listof_titlecmd:n #1 { \chapter*{#1} } }
{ \cs_set_protected:Npn \__keythms_listof_titlecmd:n #1 { \section*{#1} } }
\cs_new_protected:Npn \__keythms_listof_default_tocline:
{
\@dottedtocline{ 1 }{ \l__keythms_listof_indent_dim }
{ \l__keythms_listof_numwidth_dim }
}
\cs_new_eq:NN \keythms_listof_tocline: \__keythms_listof_default_tocline:
\NewDocumentCommand \listofkeytheorems { +O{} }
{
\bool_gset_true:N \g__keythms_listof_writefile_bool
\group_begin:
\keys_set:nn { keytheorems/listof } { #1 }
\cs_set_protected:Npn \KeyThmsContentsLine ##1 { ##1 }
\bool_if:NF \l__keythms_listof_nochapskip_bool
{
\cs_set_protected:Npn \KeyThmsAddvspace { \addvspace }
}
\bool_if:NF \l__keythms_listof_notitle_bool
{
\__keythms_listof_titlecmd:n { \l__keythms_listof_title_tl }
\@mkboth % QUESTION: should this go in titlecmd ?
{ \MakeUppercase \l__keythms_listof_title_tl }
{ \MakeUppercase \l__keythms_listof_title_tl }
}
\bool_if:NT \l__keythms_listof_swapnumber_bool
{
\cs_set:Npn \__keythms_listof_misdirect:nnn ##1##2##3 { ##1 ~ ##2##3 }
}
\legacy_if_set_false:n { @filesw }
\@starttoc{ thlist }
\group_end:
}
% ^ unlike thmtools we don't use the class's style of \listoffigures because
% we want control over title-code, no-title, etc. But this means we have to guess
% things like marks, sectioning command, etc.
\hook_gput_code:nnn { enddocument } { . }
{
\bool_if:NTF \g__keythms_listof_writefile_bool
{
\legacy_if:nT { @filesw }
{
\iow_new:N \tf@thlist
\iow_open:Nn \tf@thlist { \c_sys_jobname_str.thlist }
}
}
{ % if .thlist file left over from previous run but not needed, clear it
\file_if_exist:nT { \c_sys_jobname_str.thlist }
{
\iow_open:Nn \g__keythms_tmpa_iow { \c_sys_jobname_str.thlist }
\iow_close:N \g__keythms_tmpa_iow
}
}
}
% chaptervspacehack (code translated from thmtools)
\cs_new_protected:Npn \KeyThmsAddvspace #1 { } % initially no-op, redefined where needed
\int_new:N \g_keythms_listof_prevchapter_int
\int_gset:Nn \g_keythms_listof_prevchapter_int { 1 }
% ^ if this is zero, bad things happen if title-code is changed;
% anyways don't need addvspace at top
\cs_new_protected:Npn \keythms_listof_chaptervspacehack: { }
\cs_if_exist:cT { c@chapter }
{
\cs_set_protected:Npn \keythms_listof_chaptervspacehack:
{
\int_compare:nNnF
{ \value{chapter} } = { \g_keythms_listof_prevchapter_int }
{
\addtocontents{ thlist }
{
\KeyThmsAddvspace
{ \keythms@listof@chaptervspace@dim }
}
\int_gset:Nn \g_keythms_listof_prevchapter_int { \value{chapter} }
}
}
}
%%%%%%%%%%%%%%%%
%%% \Autoref %%%
%%%%%%%%%%%%%%%%
\ProvideDocumentCommand { \Autoref } { s m }
{
\IfPackageLoadedTF { hyperref }
{
\group_begin:
\cs_set_eq:NN \HyRef@testreftype \__keythms_Autoref_testreftype:w
\IfBooleanTF { #1 } { \autoref*{#2} } { \autoref{#2} }
\group_end:
}
{ \msg_error:nn { keytheorems } { hyperref-Autoref } }
}
\cs_new_protected:Npn \__keythms_Autoref_testreftype:w #1.#2\\
{
\cs_if_exist:cTF { #1 Autorefname }
{
\cs_set:Npe \HyRef@currentHtag
{
\exp_not:N \use:c { #1 Autorefname }
\exp_not:N \c_space_token
}
}
{ \msg_warning:nnn { keytheorems } { no-Autorefname } { #1 } }
}
%%%%%%%%%%%%%%%%%%%
%%% Global Keys %%%
%%%%%%%%%%%%%%%%%%%
\keys_define:nn { keytheorems }
{
auto-translate .bool_gset:N = \g__keythms_autotranslate_bool,
auto-translate .initial:n = true,
continues-code .cs_set:Np = \__keythms_thmuse_continues:n #1,
continues-code .initial:n =
{ % not sure how best to handle this translation
\GetTranslation{keythms_continues}\pageref{#1}
},
overload .code:n = \__keythms_overload_code:,
overload .value_forbidden:n = true,
overload .usage:n = preamble,
qed-symbol .cs_set_protected:Np = \qedsymbol,
restate-counters .code:n =
{
\clist_map_inline:nn { #1 }
{ \tl_new:c { l_keythms_restate_current_##1_tl } }
\clist_gput_right:Nn \g__keythms_restatecounters_clist { #1 }
},
restate-counters .initial:n = equation,
store-all .code:n = \__keythms_storeall_code:,
store-all .value_forbidden:n = true,
store-all .usage:n = preamble,
store-sets-label .code:n =
{
\keys_define:nn { keytheorems/thmuse }
{
store .code:n =
{
\tl_set:Nn \l__keythms_thmuse_label_tl { ##1 }
\tl_set:Nn \l__keythms_thmuse_store_tl { ##1 }
},
store* .code:n =
{
\tl_set:Nn \l__keythms_thmuse_label_tl { ##1 }
\tl_set:Nn \l__keythms_thmuse_storereversed_tl { ##1 }
},
}
},
thmtools-compat .code:n =
{ % prevent loading the code again if key called twice
\bool_if:NF \g__keythms_thmtoolscompat_bool
{ \__keythms_thmtoolscompat_code: }
},
thmtools-compat .value_forbidden:n = true,
thmtools-compat .usage:n = preamble,
}
\cs_generate_variant:Nn \__keythms_thmuse_continues:n { V }
\NewDocumentCommand \keytheoremset { +m }
{ % #1 = keys
\keys_set:nn { keytheorems } { #1 }
}
\cs_new_protected:Npn \__keythms_overload_code:
{
\RenewDocumentCommand { \newtheorem } { s m o m o }
{
\IfBooleanTF { ##1 }
{ \keythms_thm_newkeythm:nn { ##2 } { name=##4, numbered=no } }
{
\IfNoValueTF { ##3 }
{
\IfNoValueTF { ##5 }
{ \keythms_thm_newkeythm:nn { ##2 } { name=##4 } }
{ \keythms_thm_newkeythm:nn { ##2 } { name=##4, parent=##5 } }
}
{ \keythms_thm_newkeythm:nn { ##2 } { name=##4, sibling=##3 } }
}
}
}
\cs_new_protected:Npn \__keythms_thmtoolscompat_code:
{
\bool_gset_true:N \g__keythms_thmtoolscompat_bool
\__keythms_overload_code: % since thmtools overwrites \newtheorem
\ProvideDocumentCommand { \declaretheoremstyle } { +O{} m }
{
\declarekeytheoremstyle { ##2 } { ##1 }
}
\ProvideDocumentCommand { \declaretheorem } { +O{} m }
{
\newkeytheorem { ##2 } [ ##1 ]
}
\ProvideDocumentEnvironment { restatable } { o m m }
{ % need to redefine this to add store to thlist since we set it outside env
\cs_set_protected:Npn \__keythms_thm_addcontentsdata:nnnn ####1####2####3####4
{ % ####1 = theorem name, ####2 = stored counters, ####3 = keys, ####4 = body
\keythms_listof_chaptervspacehack:
\iow_shipout:Ne \@auxout
{
\token_to_str:N \@writefile { thlist }
{
\token_to_str:N \KeyThmsSavedTheorem{ ####1 }
{ \@currentlabel }
{ \@currentHref }
{ \thepage }
{ ####2 }
{ % this argument is changed
store=\l__keythms_thmuse_store_tl
\tl_if_novalue:nF { ####3 } { ,\exp_not:n { ####3 } }
}
{ \exp_not:n { ####4 } }
}
}
}
% set store outside [] so keyless note is recognized
\keys_set:nn { keytheorems/thmuse } { store=##3 }
\begin{##2}[##1]
}
{
\end{##2}
\cs_new_protected:cpn { ##3 }
{ % make \foo and \foo* identical
\peek_meaning_remove:NTF *
{ \getkeytheorem{ ##3 } }
{ \getkeytheorem{ ##3 } }
}
}
\ProvideDocumentEnvironment { restatable* } { o m m }
{ % need to redefine this to add store* to thlist since we set it outside env
\cs_set_protected:Npn \__keythms_thm_addstoredreverseddata:nnn ####1####2####3
{ % ####1 = theorem name, ####2 = keys, ####3 = body
\iow_shipout:Ne \@auxout
{
\token_to_str:N \@writefile { thlist }
{
\token_to_str:N \KeyThmsSavedTheoremReversed { \l__keythms_thmuse_storereversed_tl }
{ ####1 }
{ % this argument is changed
store*=\l__keythms_thmuse_storereversed_tl
\tl_if_novalue:nF { ####2 } { ,\exp_not:n { ####2 } }
}
{ \exp_not:n { ####3 } }
}
}
} % and this because otherwise adds an extra run; not needed for unstarred
\cs_set_protected:Npn \__keythms_thm_tempstorerestatedatareversed:nnn ####1####2####3
{
\tl_gset:Ne \g__keythms_thmuse_temprestatedatareversed_tl % needs to be global to get out of env
{
{ ####1 }
{ store*=\l__keythms_thmuse_storereversed_tl,\exp_not:n { ####2 } }
{ \exp_not:n { ####3 } }
}
}
% set store* outside [] so keyless note is recognized
\keys_set:nn { keytheorems/thmuse } { store*=##3 }
\begin{##2}[##1]
}
{
\end{##2}
\cs_new_protected:cpn { ##3 }
{ % make \foo and \foo* identical
\peek_meaning_remove:NTF *
{ \getkeytheorem{ ##3 } }
{ \getkeytheorem{ ##3 } }
}
}
\ProvideDocumentCommand { \listoftheorems } { } { \listofkeytheorems }
\ProvideDocumentCommand { \listtheoremname } { }
{ \GetTranslation{keythms_listof_title} }
\keys_define:nn { keytheorems/listof }
{ % redefine since thmtools way is \renewcommand\listtheoremname{...}
title .initial:n = \listtheoremname
}
\ProvideDocumentCommand { \addtotheorempreheadhook } { O{allthms} +m }
{
\addtotheoremhook [ ##1 ] { prehead } { ##2 }
}
\ProvideDocumentCommand { \addtotheorempostheadhook } { O{allthms} +m }
{
\addtotheoremhook [ ##1 ] { posthead } { ##2 }
}
\ProvideDocumentCommand { \addtotheoremprefoothook } { O{allthms} +m }
{
\addtotheoremhook [ ##1 ] { prefoot } { ##2 }
}
\ProvideDocumentCommand { \addtotheorempostfoothook } { O{allthms} +m }
{
\addtotheoremhook [ ##1 ] { postfoot } { ##2 }
}
\clist_new:N \l__keythms_tcbshaded_keys_clist
\clist_new:N \l__keythms_tcbthmbox_keys_clist
\keys_define:nn { keytheorems/thm/shaded }
{
textwidth .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { width=##1 },
bgcolor .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { colback=##1 },
rulewidth .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { boxrule=##1 },
rulecolor .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { colframe=##1 },
margin .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { boxsep=##1 },
padding .meta:n = { margin=##1 },
leftmargin .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { left~skip=##1 },
rightmargin .code:n =
\clist_put_right:Nn \l__keythms_tcbshaded_keys_clist { right~skip=##1 },
}
\keys_define:nn { keytheorems/thm/thmbox }
{
L .code:n =
{
\clist_put_right:Nn \l__keythms_tcbthmbox_keys_clist
{ keythms_tcbthmbox_L }
},
M .code:n =
{
\clist_put_right:Nn \l__keythms_tcbthmbox_keys_clist
{ keythms_tcbthmbox_M }
},
S .code:n =
{
\clist_put_right:Nn \l__keythms_tcbthmbox_keys_clist
{ keythms_tcbthmbox_S }
},
underline .choice:,
underline / true .code:n = {},
underline / false .code:n =
{
\clist_put_right:Nn \l__keythms_tcbthmbox_keys_clist
{ boxed~title~style={bottomrule=0pt} }
},
underline .default:n = true,
nounderline .meta:n = { underline=false },
cut .choice:,
cut / true .code:n = {},
cut / false .code:n =
{
\clist_put_right:Nn \l__keythms_tcbthmbox_keys_clist { unbreakable }
},
cut .default:n = true,
nocut .meta:n = { cut=false },
thickness .code:n =
{ % could also add keys to clist with changed dimens; which is better?
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_ \l__keythms_thm_envname_tl _tl }
{ \dim_set:Nn \l_keythms_tcbthmbox_thickness_dim { ##1 } }
},
leftmargin .code:n =
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_ \l__keythms_thm_envname_tl _tl }
{ \dim_set:Nn \l_keythms_tcbthmbox_leftmargin_dim { ##1 } }
},
rightmargin .code:n =
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_ \l__keythms_thm_envname_tl _tl }
{ \dim_set:Nn \l_keythms_tcbthmbox_rightmargin_dim { ##1 } }
},
hskip .code:n =
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_ \l__keythms_thm_envname_tl _tl }
{ \dim_set:Nn \l_keythms_tcbthmbox_hskip_dim { ##1 } }
},
vskip .code:n =
{
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_ \l__keythms_thm_envname_tl _tl }
{ \dim_set:Nn \l_keythms_tcbthmbox_vskip_dim { ##1 } }
},
}
\dim_new:N \l_keythms_tcbthmbox_thickness_dim
\dim_set:Nn \l_keythms_tcbthmbox_thickness_dim { 0.6pt }
\dim_new:N \l_keythms_tcbthmbox_leftmargin_dim
\dim_set:Nn \l_keythms_tcbthmbox_leftmargin_dim { 0.7\parindent } % use \parindent? thmbox does
\dim_new:N \l_keythms_tcbthmbox_rightmargin_dim
\dim_set:Nn \l_keythms_tcbthmbox_rightmargin_dim { 0pt }
\dim_new:N \l_keythms_tcbthmbox_hskip_dim
\dim_set:Nn \l_keythms_tcbthmbox_hskip_dim { 0.2em }
\dim_new:N \l_keythms_tcbthmbox_vskip_dim
\dim_set:Nn \l_keythms_tcbthmbox_vskip_dim { 0.2em }
\msg_new:nnn { keytheorems } { mdframed-undefined }
{
keytheorems~does~not~define~the~'mdframed'~key.~
Consider~using~the~'tcolorbox'~key~instead.
}
\keys_define:nn { keytheorems/thm }
{
shaded .code:n =
{
\clist_clear:N \l__keythms_tcbshaded_keys_clist
\keys_set:nn { keytheorems/thm/shaded } { ##1 }
% FIX: surely a better way to do this
\RequirePackage{tcolorbox}
\pgfkeysifdefined{/tcb/keythms_tcbshaded_default/.@cmd} % even worth it?
{ }
{
\tcbset % wish I could do this outside of key but can't assume tcb loaded
{
keythms_tcbshaded_default/.style=
{
sharp~corners = all,
boxrule = 0pt,
left = 0pt, right = 0pt,
top = 0pt, bottom = 0pt,
parbox = false,
}
}
}
\keys_set:ne { keytheorems/thm }
{
tcolorbox-no-titlebar =
{
keythms_tcbshaded_default,
\l__keythms_tcbshaded_keys_clist
}
}
},
thmbox .code:n = % adapted from https://tex.stackexchange.com/a/236230/208544
{
\clist_clear:N \l__keythms_tcbthmbox_keys_clist
\keys_set:nn { keytheorems/thm/thmbox } { ##1 }
% FIX: surely a better way to do this
\RequirePackage{tcolorbox}
\tcbuselibrary{skins,breakable}
\pgfkeysifdefined{/tcb/keythms_tcbthmbox_default/.@cmd} % even worth it?
{ }
{
\tcbset{
keythms_tcbthmbox_default/.style={
enhanced,
breakable,
sharp~corners=all,
right=\l_keythms_tcbthmbox_hskip_dim,
left=\l_keythms_tcbthmbox_hskip_dim,
top=\l_keythms_tcbthmbox_vskip_dim,
bottom=\l_keythms_tcbthmbox_vskip_dim,
coltitle=black,
frame~engine=empty,
interior~titled~engine=empty,
interior~engine=empty,
extras~broken={
frame~engine=empty,
interior~titled~engine=empty,
interior~engine=empty
},
parbox=false,
% even though frame isn't drawn, makes spacing correct
boxrule=0.5\l_keythms_tcbthmbox_thickness_dim,
attach~boxed~title~to~top~left={
xshift=-\l_keythms_tcbthmbox_leftmargin_dim,
},
boxed~title~style={
empty,
size=minimal,
bottom=0.3ex,
top=0ex,
% ditto
bottomrule=0.5\l_keythms_tcbthmbox_thickness_dim,
},
left~skip=\l_keythms_tcbthmbox_leftmargin_dim,
right~skip=\l_keythms_tcbthmbox_rightmargin_dim,
overlay~unbroken={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(title.south~west)
--
(title.south~east);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
|-
([xshift=10mm]frame.south~west);
},
overlay~first={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(title.south~west)
--
(title.south~east);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
},
overlay~middle={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
},
overlay~last={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
|-
([xshift=10mm]frame.south~west);
}
},
keythms_tcbthmbox_L/.style={
overlay~unbroken={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(title.south~west)
--
(title.south~east);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
|-
(frame.south~east)
-|
(frame.north~east);
},
overlay~first={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(title.south~west)
--
(title.south~east);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~east)
--
(frame.south~east);
},
overlay~middle={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~east)
--
(frame.south~east);
},
overlay~last={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
|-
(frame.south~east)
-|
(frame.north~east);
}
},
keythms_tcbthmbox_M/.style={},
keythms_tcbthmbox_S/.style={ % first and middle same as M
overlay~unbroken={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(title.south~west)
--
(title.south~east);
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
},
overlay~last={
\draw[line~width=\l_keythms_tcbthmbox_thickness_dim]
(frame.north~west)
--
(frame.south~west);
}
},
}
}
\keys_set:ne { keytheorems/thm }
{
tcolorbox =
{
keythms_tcbthmbox_default,
\l__keythms_tcbthmbox_keys_clist
}
}
},
thmbox .default:n = M,
mdframed .code:n = \msg_error:nn { keytheorems } { mdframed-undefined },
}
\keys_define:nn { keytheorems/thmstyle }
{
shaded .code:n = \__keythms_thmstyle_savethmkey_optval:n { ##1 },
thmbox .code:n = \__keythms_thmstyle_savethmkey_optval:n { ##1 },
mdframed .code:n = \msg_error:nn { keytheorems } { mdframed-undefined },
}
}
\cs_new_protected:Npn \__keythms_storeall_code:
{
\cs_set_eq:NN \__keythms_withhooks_begin:nnn \__keythms_grab_begin:nnn
\cs_set_eq:NN \__keythms_withhooks_end:n \__keythms_grab_end:n
}
\hook_gput_code:nnn { begindocument/before } { . }
{ % use 'provide' in case user defines their own translation in preamble
\ProvideTranslationFallback { keythms_listof_title } { List~of~Theorems }
\ProvideTranslationFallback { keythms_continues } { continuing~from~p.\, }
\bool_if:NT \g__keythms_autotranslate_bool
{
\ProvideTranslation { English } { keythms_listof_title } { List~of~Theorems }
\ProvideTranslation { English } { keythms_continues } { continuing~from~p.\, }
% from DeepL; I don't know these languages!
\ProvideTranslation { Albanian } { keythms_listof_title } { Lista~e~teoremave }
\ProvideTranslation { Bulgarian } { keythms_listof_title } { Списък~на~теоремите }
\ProvideTranslation { Czech } { keythms_listof_title } { Seznam~teorémů }
\ProvideTranslation { Czech } { keythms_continues } { pokračování~ze~strany~ }
\ProvideTranslation { Croatian } { keythms_listof_title } { Popis~teorema }
\ProvideTranslation { Croatian } { keythms_continues } { nastavak~od~stranice~ }
\ProvideTranslation { Danish } { keythms_listof_title } { Liste~over~sætninger }
\ProvideTranslation { Danish } { keythms_continues } { fortsætter~fra~side~ }
\ProvideTranslation { Dutch } { keythms_listof_title } { Liste~over~sætninger }
\ProvideTranslation { Dutch } { keythms_continues } { fortsætter~fra~side~ }
\ProvideTranslation { Estonian } { keythms_listof_title } { Teoreemide~loetelu }
\ProvideTranslation { Estonian } { keythms_continues } { jätkub~leheküljelt~ }
\ProvideTranslation { Finnish } { keythms_listof_title } { Luettelo~teoreemoista }
\ProvideTranslation { Finnish } { keythms_continues } { jatkuu~sivulta~ }
\ProvideTranslation { French } { keythms_listof_title } { Liste~des~théorèmes }
\ProvideTranslation { French } { keythms_continues } { suite~de~la~p.\, }
\ProvideTranslation { German } { keythms_listof_title } { Liste~der~Theoreme }
\ProvideTranslation { German } { keythms_continues } { weiter~von~Seite~ }
\ProvideTranslation { Greek } { keythms_listof_title } { Κατάλογος~θεωρημάτων }
\ProvideTranslation { Hungarian } { keythms_listof_title } { A~tételek~listája }
\ProvideTranslation { Icelandic } { keythms_listof_title } { Listi~yfir~setningar }
\ProvideTranslation { Indonesian } { keythms_listof_title } { Daftar~Teorema }
\ProvideTranslation { Italian } { keythms_listof_title } { Elenco~dei~teoremi }
\ProvideTranslation { Italian } { keythms_continues } { continua~da~p.\, }
\ProvideTranslation { Latvian } { keythms_listof_title } { Teorēmu~saraksts }
\ProvideTranslation { Lithuanian } { keythms_listof_title } { Teoremų~sąrašas }
\ProvideTranslation { Macedonian } { keythms_listof_title } { Список~на~теореми }
\ProvideTranslation { Norwegian } { keythms_listof_title } { Liste~over~teoremer }
\ProvideTranslation { Norwegian } { keythms_continues } { fortsetter~fra~side~ }
\ProvideTranslation { Spanish } { keythms_listof_title } { Lista~de~teoremas }
\ProvideTranslation { Spanish } { keythms_continues } { continúa~de~la~p.\, }
\ProvideTranslation { Polish } { keythms_listof_title } { Lista~twierdzeń }
\ProvideTranslation { Polish } { keythms_continues } { ciąg~dalszy~ze~strony~ }
\ProvideTranslation { Portuguese } { keythms_listof_title } { Lista~de~teoremas }
\ProvideTranslation { Portuguese } { keythms_continues } { continua~da~p.\, }
\ProvideTranslation { Romanian } { keythms_listof_title } { Lista~teoremelor }
\ProvideTranslation { Romanian } { keythms_continues } { continuare~de~la~p.\, }
\ProvideTranslation { Russian } { keythms_listof_title } { Список~теорем }
\ProvideTranslation { Slovak } { keythms_listof_title } { Zoznam~teorém }
\ProvideTranslation { Slovak } { keythms_continues } { pokračovanie~zo~strany~ }
\ProvideTranslation { Slovenian } { keythms_listof_title } { Seznam~trditev }
\ProvideTranslation { Slovenian } { keythms_continues } { nadaljevanje~s~strani~ }
\ProvideTranslation { Swedish } { keythms_listof_title } { Lista~över~teorem }
\ProvideTranslation { Swedish } { keythms_continues } { fortsättning~från~sidan~ }
\ProvideTranslation { Turkish } { keythms_listof_title } { Teoremler~Listesi }
\ProvideTranslation { Ukrainian } { keythms_listof_title } { Список~теорем }
\ProvideTranslation { Welsh } { keythms_listof_title } { Rhestr~o~Theoremau }
\ProvideTranslation { Welsh } { keythms_continues } { yn~parhau~o~dudalen~ }
}
}
\ProcessKeyOptions[keytheorems]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Support for non-default classes %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cs_new_protected:Npn \__keythms_support_AMSshared_code:
{
\keys_define:nn { keytheorems/listof } % adjust to AMS classes
{
indent .initial:n = 0pt,
numwidth .initial:n = 1.5pc,
title-code .code:n =
{ % warn but set titlecmd just in case
\msg_warning:nn { keytheorems } { title-code-with-AMS }
\cs_set_protected:Npn \__keythms_listof_titlecmd:n ####1 { ##1 }
},
}
\RenewDocumentCommand \listofkeytheorems { +O{} }
{ % title command not customizable here
\bool_gset_true:N \g__keythms_listof_writefile_bool
\group_begin:
\keys_set:nn { keytheorems/listof } { ##1 }
\cs_set_protected:Npn \KeyThmsContentsLine ####1 { ####1 }
\bool_if:NF \l__keythms_listof_nochapskip_bool
{
\cs_set_protected:Npn \KeyThmsAddvspace { \addvspace }
}
\legacy_if_set_false:n { @filesw }
\bool_if:NTF \l__keythms_listof_notitle_bool
{ % hacky!
\cs_set_eq:NN \@startsection \use_none:nnnnnnn
\@starttoc{ thlist }{ }
}
{ % ams classes don't expand title enough
\protected@edef \l__keythms_tmpa_tl { \l__keythms_listof_title_tl }
\bool_if:NT \l__keythms_listof_notoc_bool
{ \cs_set_eq:NN \addcontentsline \use_none:nnn } % hacky!
\@starttoc{ thlist }{ \l__keythms_tmpa_tl }
}
\group_end:
}
\cs_new:Npn \__keythms_listof_ams_tocline:
{
\@tocline{ 0 }{ 3pt plus 2pt }{ \l__keythms_listof_indent_dim }
{ \l__keythms_listof_numwidth_dim }{ }
}
\cs_set_eq:NN \keythms_listof_tocline: \__keythms_listof_ams_tocline:
}
\prg_new_conditional:Npnn \__keythms_if_classloaded:n #1 { p }
{
\IfClassLoadedTF { #1 } { \prg_return_true: } { \prg_return_false: }
}
\cs_new_protected:Npn \__keythms_support_input:n #1
{
\file_input:n { class-support/keythms-#1-support }
}
% acmart and aomart defaults also handled in amsart support file
\bool_case:n
{
{ \__keythms_if_classloaded_p:n { amsart } }
{ \__keythms_support_input:n { amsart } }
{ \__keythms_if_classloaded_p:n { amsbook } }
{ \__keythms_support_input:n { amsbook } }
{ \__keythms_if_classloaded_p:n { amsproc } }
{ \__keythms_support_input:n { amsproc } }
{ \__keythms_if_classloaded_p:n { beamer } }
{ \__keythms_support_input:n { beamer } }
{ \__keythms_if_classloaded_p:n { IEEEtran } }
{ \__keythms_support_input:n { IEEEtran } }
{ \__keythms_if_classloaded_p:n { jlreq } }
{ \__keythms_support_input:n { jlreq } }
{ \__keythms_if_classloaded_p:n { memoir } }
{ \__keythms_support_input:n { memoir } }
}
% now deal with font packages that change plain style
\cs_new_protected:Npn \__keythms_support_fontpkg:nn #1#2
{
\clist_map_inline:nn { #1 }
{
\hook_gput_code:nnn { package/##1/after } { . }
{
\IfPackageLoadedWithOptionsT { ##1 } { theoremfont }
{
\prop_gput_from_keyval:Nn \g__keythms_thmstyle_defaultkeys_prop { #2 }
\keys_precompile:neN { keytheorems/thmstyle }
{ \prop_to_keyval:N \g__keythms_thmstyle_defaultkeys_prop }
\l__keythms_thmstyle_defaultkeys_tl
}
}
}
}
\__keythms_support_fontpkg:nn { baskervillef,cochineal } { bodyfont = \slshape }
\__keythms_support_fontpkg:nn { libertinust1math,newpxtext,newtxtext,XCharter }
{
bodyfont = \thfamily,
spaceabove = \medskipamount,
spacebelow = \medskipamount,
}
\__keythms_support_fontpkg:nn { scholax } { bodyfont = \thfamily }
%%%%%%%%%%%%%%%%%%%%%%%
%%% Tagging Support %%%
%%%%%%%%%%%%%%%%%%%%%%%
\IfDocumentMetadataTF
{
\tag_if_active:T
{
\msg_new:nnn { keytheorems } { tag-incompat-key }
{
The~key~'#1'~does~not~currently~work~with~
tagging.~Ignoring~this~key.
}
\keys_define:nn { keytheorems/thm }
{
tcolorbox .code:n =
{
\msg_warning:nn { keytheorems } { tag-incompat-key }
{ tcolorbox }
},
tcolorbox-no-titlebar .code:n =
{
\msg_warning:nn { keytheorems } { tag-incompat-key }
{ tcolorbox-no-titlebar }
},
}
\bool_lazy_any:nF
{
{ \__keythms_if_classloaded_p:n { amsart } }
{ \__keythms_if_classloaded_p:n { amsbook } }
{ \__keythms_if_classloaded_p:n { amsproc } }
}
{ % only redefine \@starttoc with print-body when AMS class not loaded
\keys_define:nn { keytheorems/listof }
{
print-body .code:n =
{
\cs_set_protected:Nn \keythms_listof_listcmd:nnnnnnn
{
\tl_if_empty:nF { ##7 }
{
\__keythms_getthm_theorem:nnnnn
{##1}{##2}{##5}{##6}{##7}
}
}
% with tagging, make \@starttoc same as input
\cs_set_protected:Npn \@starttoc ##1
{ \makeatletter \@input { \jobname.##1 } }
},
}
}
\IfFormatAtLeastTF { 2025-06-01 }
{ % dev formats use theoremblock instance
\tl_const:Nn \c__keythms_tagging_instance_tl { theoremblock-0 }
}
{ % current format uses displayblock instance
\tl_const:Nn \c__keythms_tagging_instance_tl { displayblock-0 }
}
\cs_set_protected:Npn \__keythms_thm_margincode:nnn #1#2#3
{ % tagging code does not define theorems with lists
\tl_gput_right:cn { g__keythms_thm_preheadfromkeys_#1_tl }
{
\exp_args:Nne \EditInstance { block }
{ \c__keythms_tagging_instance_tl }
{
leftmargin = #2,
rightmargin = #3,
}
% hack until https://github.com/latex3/tagging-project/issues/755 is fixed
\EditInstance { block } { list-1 } { rightmargin = 0pt }
}
}
}
}
{ }
\file_input_stop: