diff options
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-manual.tex')
-rw-r--r-- | macros/latex/contrib/stex/doc/stex-manual.tex | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/macros/latex/contrib/stex/doc/stex-manual.tex b/macros/latex/contrib/stex/doc/stex-manual.tex index 963336308c..92834af1c5 100644 --- a/macros/latex/contrib/stex/doc/stex-manual.tex +++ b/macros/latex/contrib/stex/doc/stex-manual.tex @@ -8,7 +8,7 @@ \def\bibfolder{../lib/bib} -\input{docheader} +\input{stex-docheader} \infulldoctrue @@ -27,7 +27,7 @@ \pagenumbering{roman} \maketitle - \input{abstract}\bigskip + \input{stex-abstract}\bigskip This is the user manual for the \sTeX package and associated software. It is primarily directed at end-users @@ -449,15 +449,15 @@ which can thus be integrated as additional services into the system. \end{sfragment} \begin{sfragment}{Using \sTeX} - \input{packages/basics} + \input{packages/stex-basics} - \input{packages/terms} + \input{packages/stex-terms} - \input{packages/references} + \input{packages/stex-references} \end{sfragment} \begin{sfragment}[id=sec.stexarchives]{\sTeX Archives} - \input{packages/mathhub} + \input{packages/stex-mathhub} \end{sfragment} \begin{sfragment}{Creating New Modules and Symbols} @@ -470,38 +470,38 @@ which can thus be integrated as additional services into the system. \end{smodule} } - \input{packages/modules} + \input{packages/stex-modules} - \input{packages/symbols} + \input{packages/stex-symbols} - \input{packages/inheritance} + \input{packages/stex-inheritance} \begin{sfragment}{Advanced Structuring Mechanisms} - \input{packages/features} + \input{packages/stex-features} \end{sfragment} \begin{sfragment}{Primitive Symbols (The \sTeX Metatheory)} - \input{packages/metatheory} + \input{packages/stex-metatheory} \end{sfragment} \end{sfragment} \begin{sfragment}{\sTeX Statements (Definitions, Theorems, Examples, ...)} - \input{packages/statements} + \input{packages/stex-statements} - \input{packages/sproofs} + \input{packages/stex-proofs} \end{sfragment} \begin{sfragment}{Additional Packages} - \input{packages/tikzinput} + \input{packages/stex-tikzinput} \begin{sfragment}{Modular Document Structuring} - \input{packages/document-structure} + \input{packages/stex-document-structure} \end{sfragment} \begin{sfragment}{Slides and Course Notes} - \input{packages/slides} + \input{packages/stex-slides} \end{sfragment} \begin{sfragment}{Homework, Problems and Exams} - \input{packages/problem} + \input{packages/stex-problem} - \input{packages/hwexam} + \input{packages/stex-hwexam} \end{sfragment} \end{sfragment} |