summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/tex/etc/lststex.sty
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-10-17 03:01:53 +0000
committerNorbert Preining <norbert@preining.info>2023-10-17 03:01:53 +0000
commit3e9c5c6e1c118283b7775fd707379f8c9fdd3fd5 (patch)
tree40f420b2cc25378ebd0cd509854828b1b7aa337f /macros/latex/contrib/stex/tex/etc/lststex.sty
parentc4125da665ac93db063e3c177f4fc5d172f5866f (diff)
CTAN sync 202310170301
Diffstat (limited to 'macros/latex/contrib/stex/tex/etc/lststex.sty')
-rw-r--r--macros/latex/contrib/stex/tex/etc/lststex.sty21
1 files changed, 17 insertions, 4 deletions
diff --git a/macros/latex/contrib/stex/tex/etc/lststex.sty b/macros/latex/contrib/stex/tex/etc/lststex.sty
index 423e0b4a20..7d127fddc5 100644
--- a/macros/latex/contrib/stex/tex/etc/lststex.sty
+++ b/macros/latex/contrib/stex/tex/etc/lststex.sty
@@ -15,6 +15,7 @@
symdef,symdecl,notation,sref},
morekeywords={smodule,sdefinition,sassertion,sparagraph,
inputref,
+ sproblem,hint,exnote,solution,gnote,
sproof,spfstep,spfcases,spfcase,justification,premise}}
\definecolor{backcolor}{gray}{.96}
@@ -71,8 +72,10 @@
classoffset=5,keywordstyle=\color{magenta},morekeywords={
smodule,sdefinition,sassertion,sparagraph,sexample,
sproof,subproof,spfcases,spfcase,spfstep,spfcomment,spfblock,
+ sproblem,subproblem,solution,hint,exnote,mcb,scb,
\\spfidea,\\spfsketch,\\spfcasesketch,\\sproofend,
\\spfjust,\\premise,\\justarg,\\inlinedef,\\inlineex,\\inlineass,
+ \\scc,\\mcc,\\objective,
\\varbind,
copymodule,interpretmodule,mathstructure,sexample,extstructure,
extstructure*,realization
@@ -125,11 +128,21 @@
}
},
unknown .code:n = {
- \tl_if_empty:nTF{#1}{
- \exp_args:NNo \clist_put_right:Nn \l_lststex_pass_on_args_clist \l_keys_key_str
+ \str_if_empty:NTF \l_keys_key_str {
+ \tl_if_empty:nTF{#1}{
+ \exp_args:NNo \clist_put_right:Nn \l_lststex_pass_on_args_clist \l_keys_key_tl
+ }{
+ \exp_args:NNx \clist_put_right:Nn \l_lststex_pass_on_args_clist {
+ \l_keys_key_tl = \exp_not:n{{#1}}
+ }
+ }
}{
- \exp_args:NNx \clist_put_right:Nn \l_lststex_pass_on_args_clist {
- \l_keys_key_str = \exp_not:n{{#1}}
+ \tl_if_empty:nTF{#1}{
+ \exp_args:NNo \clist_put_right:Nn \l_lststex_pass_on_args_clist \l_keys_key_str
+ }{
+ \exp_args:NNx \clist_put_right:Nn \l_lststex_pass_on_args_clist {
+ \l_keys_key_str = \exp_not:n{{#1}}
+ }
}
}
}