diff options
author | Norbert Preining <norbert@preining.info> | 2022-02-27 03:01:13 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-02-27 03:01:13 +0000 |
commit | a911d39178540078c8ff5bc880418478d7433c40 (patch) | |
tree | f23b6a0f6bf9f548e7e43cf2405e864eba99b21e /macros/latex/contrib/stex/source | |
parent | 740a11f29a3551babe3d7edbb57ac3baa2280a3f (diff) |
CTAN sync 202202270301
Diffstat (limited to 'macros/latex/contrib/stex/source')
20 files changed, 65 insertions, 66 deletions
diff --git a/macros/latex/contrib/stex/source/extensions/Makefile b/macros/latex/contrib/stex/source/extensions/Makefile index 6a6b18a4c8..67f1356953 100644 --- a/macros/latex/contrib/stex/source/extensions/Makefile +++ b/macros/latex/contrib/stex/source/extensions/Makefile @@ -1,6 +1,6 @@ DTX = $(shell ls *.dtx) DOC = $(DTX:%.dtx=%.pdf) -INS = extensions.ins +INS = stex-extensions.ins PDFLATEX = pdflatex -interaction=batchmode TEXDIR = ../../tex diff --git a/macros/latex/contrib/stex/source/extensions/document-structure.dtx b/macros/latex/contrib/stex/source/extensions/document-structure.dtx index 80c95d643b..6db3bf4d7c 100644 --- a/macros/latex/contrib/stex/source/extensions/document-structure.dtx +++ b/macros/latex/contrib/stex/source/extensions/document-structure.dtx @@ -10,7 +10,7 @@ % %<*driver> \def\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/document-structure} +% \input{../../doc/packages/stex-document-structure} % \fi % % @@ -293,7 +293,7 @@ % \begin{macrocode} %<*cls> %<@@=document_structure> -\ProvidesExplClass{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure Class} +\ProvidesExplClass{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure Class} \RequirePackage{l3keys2e} % \end{macrocode} % @@ -377,7 +377,7 @@ % % \begin{macrocode} %<*package> -\ProvidesExplPackage{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure} +\ProvidesExplPackage{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure} \RequirePackage{l3keys2e} % \end{macrocode} % @@ -414,7 +414,7 @@ \ltx@ifpackageloaded{babel}{ \clist_set:Nx \l_tmpa_clist {\bbl@loaded} \clist_if_in:NnT \l_tmpa_clist {ngerman}{ - \makeatletter\input{omdoc-ngerman.ldf}\makeatother + \makeatletter\input{document-structure-ngerman.ldf}\makeatother } }{} } diff --git a/macros/latex/contrib/stex/source/extensions/hwexam.dtx b/macros/latex/contrib/stex/source/extensions/hwexam.dtx index 3136f488d7..2cc3a1bd5b 100644 --- a/macros/latex/contrib/stex/source/extensions/hwexam.dtx +++ b/macros/latex/contrib/stex/source/extensions/hwexam.dtx @@ -11,7 +11,7 @@ % %<*driver> \def\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -41,7 +41,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/hwexam} +% \input{../../doc/packages/stex-hwexam} % \fi % % \begin{documentation} @@ -169,7 +169,7 @@ % \begin{macrocode} %<@@=hwexam> %<*cls> -\ProvidesExplClass{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams} +\ProvidesExplClass{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams} \RequirePackage{l3keys2e} \DeclareOption*{ \PassOptionsToClass{\CurrentOption}{document-structure} @@ -218,7 +218,7 @@ % % \begin{macrocode} %<*package> -\ProvidesExplPackage{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams} +\ProvidesExplPackage{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams} \RequirePackage{l3keys2e} \newif\iftest\testfalse diff --git a/macros/latex/contrib/stex/source/extensions/notesslides.dtx b/macros/latex/contrib/stex/source/extensions/notesslides.dtx index a6ff395377..d99109ee22 100644 --- a/macros/latex/contrib/stex/source/extensions/notesslides.dtx +++ b/macros/latex/contrib/stex/source/extensions/notesslides.dtx @@ -12,7 +12,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -40,7 +40,7 @@ % \def\mathml{{\scshape{MathML}}\xspace} % \def\omdoc{OMDoc\xspace} % \def\activemath{{\scshape{ActiveMath}}\xspace} -% \def\textwarning{\includegraphics[width=1.2em]{dangerous-bend}\xspace} +% \def\textwarning{\includegraphics[width=1.2em]{stex-dangerous-bend}\xspace} % % \title{NotesSlides -- Slides and Course Notes\thanks{Version {\fileversion} % (last revised {\filedate})}} @@ -55,7 +55,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/slides} +% \input{../../doc/packages/stex-slides} % \fi % % \begin{documentation}\label{pkg:notesslides:doc} @@ -296,7 +296,7 @@ % \begin{macrocode} %<*cls> %<@@=notesslides> -\ProvidesExplClass{notesslides}{2022/02/24}{3.0.0}{notesslides Class} +\ProvidesExplClass{notesslides}{2022/02/26}{3.0.1}{notesslides Class} \RequirePackage{l3keys2e} \keys_define:nn{notesslides / cls}{ @@ -328,7 +328,7 @@ % now we do the same for the |notesslides| package. % \begin{macrocode} %<*package> -\ProvidesExplPackage{notesslides}{2022/02/24}{3.0.0}{notesslides Package} +\ProvidesExplPackage{notesslides}{2022/02/26}{3.0.1}{notesslides Package} \RequirePackage{l3keys2e} \keys_define:nn{notesslides / pkg}{ @@ -682,7 +682,7 @@ % \begin{macrocode} \def\copyrightnotice{\footnotesize\copyright :\hspace{.3ex}{\source}} \newsavebox{\cclogo} -\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{cc_somerights}} +\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{stex-cc_somerights}} \newif\ifcchref\cchreffalse \AtBeginDocument{ \@ifpackageloaded{hyperref}{\cchreftrue}{\cchreffalse} @@ -812,17 +812,17 @@ % as the macro can be used quite often we put it into a box register, so that it is only % loaded once. % \begin{macrocode} -\pgfdeclareimage[width=.8em]{miko@small@dbend}{dangerous-bend} +\pgfdeclareimage[width=.8em]{miko@small@dbend}{stex-dangerous-bend} \def\smalltextwarning{ \pgfuseimage{miko@small@dbend} \xspace } -\pgfdeclareimage[width=1.2em]{miko@dbend}{dangerous-bend} +\pgfdeclareimage[width=1.2em]{miko@dbend}{stex-dangerous-bend} \newrobustcmd\textwarning{ \raisebox{-.05cm}{\pgfuseimage{miko@dbend}} \xspace } -\pgfdeclareimage[width=2.5em]{miko@big@dbend}{dangerous-bend} +\pgfdeclareimage[width=2.5em]{miko@big@dbend}{stex-dangerous-bend} \newrobustcmd\bigtextwarning{ \raisebox{-.05cm}{\pgfuseimage{miko@big@dbend}} \xspace diff --git a/macros/latex/contrib/stex/source/extensions/problem.dtx b/macros/latex/contrib/stex/source/extensions/problem.dtx index b21b1c493d..ee7d116fcb 100644 --- a/macros/latex/contrib/stex/source/extensions/problem.dtx +++ b/macros/latex/contrib/stex/source/extensions/problem.dtx @@ -11,7 +11,7 @@ % %<*driver> \def\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \RequirePackage[hints,solutions,notes]{problem} \begin{document} @@ -41,7 +41,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/problem} +% \input{../../doc/packages/stex-problem} % \fi % % \begin{documentation} @@ -258,8 +258,8 @@ % \begin{macrocode} %<*package> %<@@=problems> -\ProvidesExplPackage{problem}{2022/02/24}{3.0.0}{Semantic Markup for Problems} -\RequirePackage{l3keys2e} +\ProvidesExplPackage{problem}{2022/02/26}{3.0.1}{Semantic Markup for Problems} +\RequirePackage{l3keys2e,stex} \keys_define:nn { problem / pkg }{ notes .default:n = { true }, diff --git a/macros/latex/contrib/stex/source/extensions/extensions.ins b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins index e3594e88cf..e3594e88cf 100644 --- a/macros/latex/contrib/stex/source/extensions/extensions.ins +++ b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins diff --git a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx index 51a3a7c06a..f183a6e4fa 100644 --- a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx +++ b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/tikzinput} +% \input{../../doc/packages/stex-tikzinput} % \fi % % \begin{documentation}\label{pkg:tikzinput:doc} @@ -58,7 +58,7 @@ % \end{macrocode} % % \begin{macrocode} -\ProvidesExplPackage{tikzinput}{2022/02/24}{3.0.0}{tikzinput package} +\ProvidesExplPackage{tikzinput}{2022/02/26}{3.0.1}{tikzinput package} \RequirePackage{l3keys2e} \keys_define:nn { tikzinput } { @@ -121,7 +121,7 @@ % \end{macrocode} % % \begin{macrocode} -\ProvidesExplPackage{stex-tikzinput}{2022/02/24}{3.0.0}{stex-tikzinput} +\ProvidesExplPackage{stex-tikzinput}{2022/02/26}{3.0.1}{stex-tikzinput} \RequirePackage{stex} \RequirePackage{tikzinput} diff --git a/macros/latex/contrib/stex/source/stex/basics.dtx b/macros/latex/contrib/stex/source/stex/stex-basics.dtx index c2047a39a2..37c55822d8 100644 --- a/macros/latex/contrib/stex/source/stex/basics.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-basics.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -43,7 +43,7 @@ % and abstractions for |xhtml| annotations. % %\ifinfulldoc\else -% \input{../../doc/packages/basics} +% \input{../../doc/packages/stex-basics} % \fi % % @@ -150,7 +150,7 @@ %%%%%%%%%%%%% basics.dtx %%%%%%%%%%%%% \RequirePackage{expl3,l3keys2e} -\ProvidesExplClass{stex}{2022/02/24}{3.0.0}{sTeX document class} +\ProvidesExplClass{stex}{2022/02/26}{3.0.1}{sTeX document class} \LoadClass[border=1px,varwidth]{standalone} \setlength\textwidth{15cm} @@ -169,7 +169,7 @@ %%%%%%%%%%%%% basics.dtx %%%%%%%%%%%%% \RequirePackage{expl3,l3keys2e,ltxcmds} -\ProvidesExplPackage{stex}{2022/02/24}{3.0.0}{sTeX package} +\ProvidesExplPackage{stex}{2022/02/26}{3.0.1}{sTeX package} %\RequirePackage{morewrites} %\RequirePackage{amsmath} diff --git a/macros/latex/contrib/stex/source/stex/features.dtx b/macros/latex/contrib/stex/source/stex/stex-features.dtx index 851af04984..27d8f88f95 100644 --- a/macros/latex/contrib/stex/source/stex/features.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-features.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/features} +% \input{../../doc/packages/stex-features} % \fi % % \begin{documentation}\label{pkg:features:doc} diff --git a/macros/latex/contrib/stex/source/stex/inheritance.dtx b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx index 692d7b952c..33c536c3a5 100644 --- a/macros/latex/contrib/stex/source/stex/inheritance.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -42,7 +42,7 @@ % Code related to Module Inheritance, in particular \emph{sms mode}. % %\ifinfulldoc\else -% \input{../../doc/packages/inheritance} +% \input{../../doc/packages/stex-inheritance} %\fi % % \section{Macros and Environments}\label{pkg:inheritance:doc:macros} diff --git a/macros/latex/contrib/stex/source/stex/mathhub.dtx b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx index 16ff57ede8..20288212e3 100644 --- a/macros/latex/contrib/stex/source/stex/mathhub.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -44,7 +44,7 @@ % files, file paths and related methods. % % \ifinfulldoc\else -% \begin{sfragment}{Manual}\input{../../doc/packages/mathhub}\end{sfragment} +% \begin{sfragment}{Manual}\input{../../doc/packages/stex-mathhub}\end{sfragment} % \fi % % \section{Macros and Environments}\label{pkg:mathhub:doc:macros} diff --git a/macros/latex/contrib/stex/source/stex/metatheory.dtx b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx index a477e67f63..b7e32c23e9 100644 --- a/macros/latex/contrib/stex/source/stex/metatheory.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/metatheory} +% \input{../../doc/packages/stex-metatheory} % \fi % % \begin{documentation}\label{pkg:metatheory:doc} diff --git a/macros/latex/contrib/stex/source/stex/modules.dtx b/macros/latex/contrib/stex/source/stex/stex-modules.dtx index f345e3066b..d5c10964de 100644 --- a/macros/latex/contrib/stex/source/stex/modules.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-modules.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -42,7 +42,7 @@ % This sub package contains code related to Modules % % \ifinfulldoc\else -% \input{../../doc/packages/modules} +% \input{../../doc/packages/stex-modules} % \fi % % \section{Macros and Environments}\label{pkg:modules:doc:macros} diff --git a/macros/latex/contrib/stex/source/stex/others.dtx b/macros/latex/contrib/stex/source/stex/stex-others.dtx index 1905079a9c..96d79939af 100644 --- a/macros/latex/contrib/stex/source/stex/others.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-others.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -32,7 +32,6 @@ % % \begin{documentation}\label{pkg:finally:doc} % -% % \end{documentation} % % \begin{implementation}\label{pkg:finally:impl} diff --git a/macros/latex/contrib/stex/source/stex/sproof.dtx b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx index f3cbdb869a..c4bf4e48fb 100644 --- a/macros/latex/contrib/stex/source/stex/sproof.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx @@ -11,7 +11,7 @@ % \iffalse %<*driver> \def\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -38,7 +38,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/sproofs} +% \input{../../doc/packages/stex-proofs} % \fi % % \begin{documentation} diff --git a/macros/latex/contrib/stex/source/stex/references.dtx b/macros/latex/contrib/stex/source/stex/stex-references.dtx index 3153eeabab..ad94bbedb3 100644 --- a/macros/latex/contrib/stex/source/stex/references.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-references.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -42,7 +42,7 @@ % This sub package contains code related to links and cross-references % %\ifinfulldoc\else -% \input{../../doc/packages/references} +% \input{../../doc/packages/stex-references} % \fi % % \section{Macros and Environments}\label{pkg:sref:doc:macros} diff --git a/macros/latex/contrib/stex/source/stex/statements.dtx b/macros/latex/contrib/stex/source/stex/stex-statements.dtx index 3ddeca0dbd..83e2fbf92b 100644 --- a/macros/latex/contrib/stex/source/stex/statements.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-statements.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/statements} +% \input{../../doc/packages/stex-statements} % \fi % % \begin{documentation}\label{pkg:statements:doc} diff --git a/macros/latex/contrib/stex/source/stex/symbols.dtx b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx index da633e1be3..a8b88cfe72 100644 --- a/macros/latex/contrib/stex/source/stex/symbols.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/symbols} +% \input{../../doc/packages/stex-symbols} % \fi % % \begin{documentation}\label{pkg:symbols:doc} diff --git a/macros/latex/contrib/stex/source/stex/terms.dtx b/macros/latex/contrib/stex/source/stex/stex-terms.dtx index 94a71d0208..9322a2411a 100644 --- a/macros/latex/contrib/stex/source/stex/terms.dtx +++ b/macros/latex/contrib/stex/source/stex/stex-terms.dtx @@ -11,7 +11,7 @@ % %<*driver> \providecommand\bibfolder{../../lib/bib} -\input{../../doc/docheader} +\input{../../doc/stex-docheader} \begin{document} \DocInput{\jobname.dtx} @@ -36,7 +36,7 @@ % see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the % \href{\basedocurl/stex.pdf}{full \sTeX documentation}. % -% \input{../../doc/packages/terms} +% \input{../../doc/packages/stex-terms} % \fi % % \begin{documentation}\label{pkg:terms:doc} diff --git a/macros/latex/contrib/stex/source/stex/stex.ins b/macros/latex/contrib/stex/source/stex/stex.ins index 95ff248c0d..8d645b251b 100644 --- a/macros/latex/contrib/stex/source/stex/stex.ins +++ b/macros/latex/contrib/stex/source/stex/stex.ins @@ -18,21 +18,21 @@ \askforoverwritefalse \generate{ - \file{stex.cls}{\from{basics.dtx}{cls}} + \file{stex.cls}{\from{stex-basics.dtx}{cls}} \file{stex.sty}{ - \from{basics.dtx}{package} - \from{mathhub.dtx}{package} - \from{references.dtx}{package} - \from{modules.dtx}{package} - \from{inheritance.dtx}{package} - \from{symbols.dtx}{package} - \from{terms.dtx}{package} - \from{features.dtx}{package} - \from{statements.dtx}{package} - \from{sproof.dtx}{package} + \from{stex-basics.dtx}{package} + \from{stex-mathhub.dtx}{package} + \from{stex-references.dtx}{package} + \from{stex-modules.dtx}{package} + \from{stex-inheritance.dtx}{package} + \from{stex-symbols.dtx}{package} + \from{stex-terms.dtx}{package} + \from{stex-features.dtx}{package} + \from{stex-statements.dtx}{package} + \from{stex-proofs.dtx}{package} % ... - \from{others.dtx}{package} - \from{metatheory.dtx}{package} + \from{stex-others.dtx}{package} + \from{stex-metatheory.dtx}{package} } } |