summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/stex-manual.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-manual.tex')
-rw-r--r--macros/latex/contrib/stex/doc/stex-manual.tex36
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}