diff options
author | Norbert Preining <norbert@preining.info> | 2022-05-25 03:01:13 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-05-25 03:01:13 +0000 |
commit | f01a37f8311f33e32441d25bdadcda9dcdbd165d (patch) | |
tree | efb861dfafff09d4bef8024c85a11f8c8deaba76 /macros/latex/contrib/stex/tex/etc/lststex.sty | |
parent | 0c7d079315627312627c83bc9ce6f5e4f1b436f6 (diff) |
CTAN sync 202205250301
Diffstat (limited to 'macros/latex/contrib/stex/tex/etc/lststex.sty')
-rw-r--r-- | macros/latex/contrib/stex/tex/etc/lststex.sty | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/macros/latex/contrib/stex/tex/etc/lststex.sty b/macros/latex/contrib/stex/tex/etc/lststex.sty index e3865cb464..2b0f7a9b2e 100644 --- a/macros/latex/contrib/stex/tex/etc/lststex.sty +++ b/macros/latex/contrib/stex/tex/etc/lststex.sty @@ -10,16 +10,10 @@ } \lstdefinelanguage[sTeX]{TeX}[LaTeX]{TeX}% - {moretexcs={[2]defin,twindef,atwindef,definalt,twindefalt,atwindefalt,definiendum, - importmodule,usemodule,importmhmodule,usemhmodule,gimport,guse, - symdef,symvariant,symtest, - defi,defii,defiii,adefi,adefii,adefiii,defis,defiis,defiiis, - trefi,trefii,trefiii,atrefi,atrefii,atrefiii,mtrefi,mtrefii,mtrefiii, - trefis,trefiis,trefiiis,atrefis,atrefiis,atrefiiis, - symi,symii,symiii, - termref,sref}, - morekeywords={module,definition,axiom,assertion,omtext, - mhmodule,mhmodsig,mhmodnl,modsig,modnl, + {moretexcs={[2]definiendum,definame,symref,symname,comp, + importmodule,usemodule + symdef,symdecl,notation,sref}, + morekeywords={smodule,sdefinition,sassertion,sparagraph, inputref, sproof,spfstep,spfcases,spfcase,justification,premise}} |