summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-02-27 03:01:13 +0000
committerNorbert Preining <norbert@preining.info>2022-02-27 03:01:13 +0000
commita911d39178540078c8ff5bc880418478d7433c40 (patch)
treef23b6a0f6bf9f548e7e43cf2405e864eba99b21e /macros/latex/contrib/stex/doc
parent740a11f29a3551babe3d7edbb57ac3baa2280a3f (diff)
CTAN sync 202202270301
Diffstat (limited to 'macros/latex/contrib/stex/doc')
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-basics.tex (renamed from macros/latex/contrib/stex/doc/packages/basics.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-document-structure.tex (renamed from macros/latex/contrib/stex/doc/packages/document-structure.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-features.tex (renamed from macros/latex/contrib/stex/doc/packages/features.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-hwexam.tex (renamed from macros/latex/contrib/stex/doc/packages/hwexam.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-inheritance.tex (renamed from macros/latex/contrib/stex/doc/packages/inheritance.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-mathhub.tex (renamed from macros/latex/contrib/stex/doc/packages/mathhub.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-metatheory.tex (renamed from macros/latex/contrib/stex/doc/packages/metatheory.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-modules.tex (renamed from macros/latex/contrib/stex/doc/packages/modules.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-problem.tex (renamed from macros/latex/contrib/stex/doc/packages/problem.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-proofs.tex (renamed from macros/latex/contrib/stex/doc/packages/sproofs.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-references.tex (renamed from macros/latex/contrib/stex/doc/packages/references.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-slides.tex (renamed from macros/latex/contrib/stex/doc/packages/slides.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-statements.tex (renamed from macros/latex/contrib/stex/doc/packages/statements.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-symbols.tex (renamed from macros/latex/contrib/stex/doc/packages/symbols.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-terms.tex (renamed from macros/latex/contrib/stex/doc/packages/terms.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/packages/stex-tikzinput.tex (renamed from macros/latex/contrib/stex/doc/packages/tikzinput.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/stex-abstract.tex (renamed from macros/latex/contrib/stex/doc/abstract.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/stex-doc.pdfbin1466792 -> 1467004 bytes
-rw-r--r--macros/latex/contrib/stex/doc/stex-doc.tex28
-rw-r--r--macros/latex/contrib/stex/doc/stex-docheader.tex (renamed from macros/latex/contrib/stex/doc/docheader.tex)0
-rw-r--r--macros/latex/contrib/stex/doc/stex-manual.pdfbin670358 -> 670569 bytes
-rw-r--r--macros/latex/contrib/stex/doc/stex-manual.tex36
-rw-r--r--macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF2
-rw-r--r--macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex15
-rw-r--r--macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF2
-rw-r--r--macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex13
-rw-r--r--macros/latex/contrib/stex/doc/tests/sometest.tex3
27 files changed, 32 insertions, 67 deletions
diff --git a/macros/latex/contrib/stex/doc/packages/basics.tex b/macros/latex/contrib/stex/doc/packages/stex-basics.tex
index daa6d6418d..daa6d6418d 100644
--- a/macros/latex/contrib/stex/doc/packages/basics.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-basics.tex
diff --git a/macros/latex/contrib/stex/doc/packages/document-structure.tex b/macros/latex/contrib/stex/doc/packages/stex-document-structure.tex
index 1c8fe97dac..1c8fe97dac 100644
--- a/macros/latex/contrib/stex/doc/packages/document-structure.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-document-structure.tex
diff --git a/macros/latex/contrib/stex/doc/packages/features.tex b/macros/latex/contrib/stex/doc/packages/stex-features.tex
index e70bbaa0e8..e70bbaa0e8 100644
--- a/macros/latex/contrib/stex/doc/packages/features.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-features.tex
diff --git a/macros/latex/contrib/stex/doc/packages/hwexam.tex b/macros/latex/contrib/stex/doc/packages/stex-hwexam.tex
index 5f1758b015..5f1758b015 100644
--- a/macros/latex/contrib/stex/doc/packages/hwexam.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-hwexam.tex
diff --git a/macros/latex/contrib/stex/doc/packages/inheritance.tex b/macros/latex/contrib/stex/doc/packages/stex-inheritance.tex
index 41631f94d2..41631f94d2 100644
--- a/macros/latex/contrib/stex/doc/packages/inheritance.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-inheritance.tex
diff --git a/macros/latex/contrib/stex/doc/packages/mathhub.tex b/macros/latex/contrib/stex/doc/packages/stex-mathhub.tex
index 4b05134e70..4b05134e70 100644
--- a/macros/latex/contrib/stex/doc/packages/mathhub.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-mathhub.tex
diff --git a/macros/latex/contrib/stex/doc/packages/metatheory.tex b/macros/latex/contrib/stex/doc/packages/stex-metatheory.tex
index 1585ba504c..1585ba504c 100644
--- a/macros/latex/contrib/stex/doc/packages/metatheory.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-metatheory.tex
diff --git a/macros/latex/contrib/stex/doc/packages/modules.tex b/macros/latex/contrib/stex/doc/packages/stex-modules.tex
index c067f28a1c..c067f28a1c 100644
--- a/macros/latex/contrib/stex/doc/packages/modules.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-modules.tex
diff --git a/macros/latex/contrib/stex/doc/packages/problem.tex b/macros/latex/contrib/stex/doc/packages/stex-problem.tex
index 1ce5aaa3a2..1ce5aaa3a2 100644
--- a/macros/latex/contrib/stex/doc/packages/problem.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-problem.tex
diff --git a/macros/latex/contrib/stex/doc/packages/sproofs.tex b/macros/latex/contrib/stex/doc/packages/stex-proofs.tex
index 0523c65948..0523c65948 100644
--- a/macros/latex/contrib/stex/doc/packages/sproofs.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-proofs.tex
diff --git a/macros/latex/contrib/stex/doc/packages/references.tex b/macros/latex/contrib/stex/doc/packages/stex-references.tex
index bf8a8ed66c..bf8a8ed66c 100644
--- a/macros/latex/contrib/stex/doc/packages/references.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-references.tex
diff --git a/macros/latex/contrib/stex/doc/packages/slides.tex b/macros/latex/contrib/stex/doc/packages/stex-slides.tex
index 1f9d0c989d..1f9d0c989d 100644
--- a/macros/latex/contrib/stex/doc/packages/slides.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-slides.tex
diff --git a/macros/latex/contrib/stex/doc/packages/statements.tex b/macros/latex/contrib/stex/doc/packages/stex-statements.tex
index aa9f5f76ab..aa9f5f76ab 100644
--- a/macros/latex/contrib/stex/doc/packages/statements.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-statements.tex
diff --git a/macros/latex/contrib/stex/doc/packages/symbols.tex b/macros/latex/contrib/stex/doc/packages/stex-symbols.tex
index 50b450a248..50b450a248 100644
--- a/macros/latex/contrib/stex/doc/packages/symbols.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-symbols.tex
diff --git a/macros/latex/contrib/stex/doc/packages/terms.tex b/macros/latex/contrib/stex/doc/packages/stex-terms.tex
index cc67ce0c7f..cc67ce0c7f 100644
--- a/macros/latex/contrib/stex/doc/packages/terms.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-terms.tex
diff --git a/macros/latex/contrib/stex/doc/packages/tikzinput.tex b/macros/latex/contrib/stex/doc/packages/stex-tikzinput.tex
index fb7d0c1e5b..fb7d0c1e5b 100644
--- a/macros/latex/contrib/stex/doc/packages/tikzinput.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-tikzinput.tex
diff --git a/macros/latex/contrib/stex/doc/abstract.tex b/macros/latex/contrib/stex/doc/stex-abstract.tex
index 445bbf064a..445bbf064a 100644
--- a/macros/latex/contrib/stex/doc/abstract.tex
+++ b/macros/latex/contrib/stex/doc/stex-abstract.tex
diff --git a/macros/latex/contrib/stex/doc/stex-doc.pdf b/macros/latex/contrib/stex/doc/stex-doc.pdf
index dbf89047e9..7499111fa8 100644
--- a/macros/latex/contrib/stex/doc/stex-doc.pdf
+++ b/macros/latex/contrib/stex/doc/stex-doc.pdf
Binary files differ
diff --git a/macros/latex/contrib/stex/doc/stex-doc.tex b/macros/latex/contrib/stex/doc/stex-doc.tex
index 8bd790dcb8..d2e8239083 100644
--- a/macros/latex/contrib/stex/doc/stex-doc.tex
+++ b/macros/latex/contrib/stex/doc/stex-doc.tex
@@ -1,5 +1,5 @@
\def\bibfolder{../lib/bib}
-\input{docheader}
+\input{stex-docheader}
\infulldoctrue
\ExplSyntaxOn
@@ -24,7 +24,7 @@
\pagenumbering{roman}
\maketitle
- \input{abstract}\bigskip
+ \input{stex-abstract}\bigskip
This is the full documentation of \sTeX. It
consists of four parts:
@@ -172,19 +172,19 @@
\DisableImplementation
-\DocInput{../source/stex/basics.dtx}
-\DocInput{../source/stex/mathhub.dtx}
-\DocInput{../source/stex/references.dtx}
-\DocInput{../source/stex/modules.dtx}
-\DocInput{../source/stex/inheritance.dtx}
-\DocInput{../source/stex/symbols.dtx}
-\DocInput{../source/stex/terms.dtx}
-\DocInput{../source/stex/features.dtx}
-\DocInput{../source/stex/statements.dtx}
-\DocInput{../source/stex/sproof.dtx}
+\DocInput{../source/stex/stex-basics.dtx}
+\DocInput{../source/stex/stex-mathhub.dtx}
+\DocInput{../source/stex/stex-references.dtx}
+\DocInput{../source/stex/stex-modules.dtx}
+\DocInput{../source/stex/stex-inheritance.dtx}
+\DocInput{../source/stex/stex-symbols.dtx}
+\DocInput{../source/stex/stex-terms.dtx}
+\DocInput{../source/stex/stex-features.dtx}
+\DocInput{../source/stex/stex-statements.dtx}
+\DocInput{../source/stex/stex-proofs.dtx}
-\OmitDocInput{../source/stex/others.dtx}
-\DocInput{../source/stex/metatheory.dtx}
+\OmitDocInput{../source/stex/stex-others.dtx}
+\DocInput{../source/stex/stex-metatheory.dtx}
\part{Extensions}\label{part:extensions}
diff --git a/macros/latex/contrib/stex/doc/docheader.tex b/macros/latex/contrib/stex/doc/stex-docheader.tex
index d0f13e90b3..d0f13e90b3 100644
--- a/macros/latex/contrib/stex/doc/docheader.tex
+++ b/macros/latex/contrib/stex/doc/stex-docheader.tex
diff --git a/macros/latex/contrib/stex/doc/stex-manual.pdf b/macros/latex/contrib/stex/doc/stex-manual.pdf
index 861f9cc111..80b4154b9a 100644
--- a/macros/latex/contrib/stex/doc/stex-manual.pdf
+++ b/macros/latex/contrib/stex/doc/stex-manual.pdf
Binary files differ
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}
diff --git a/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF b/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF
deleted file mode 100644
index decdfb78bc..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF
+++ /dev/null
@@ -1,2 +0,0 @@
-id: Bar/Foo
-ns: http://mathhub.info/tests/Bar/Foo/
diff --git a/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex b/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex
deleted file mode 100644
index f57580414a..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex
+++ /dev/null
@@ -1,15 +0,0 @@
-\def\mathhub{../../../}
-
-\documentclass[debug]{stex}
-
-\begin{document}
-
-\begin{smodule}{Circular2}
- \symdef{fooB}{\beta}
- \importmodule[Foo/Bar]{circular1?Circular1}
- \symdecl{fooAb}[def=\fooA]
- \notation{fooAb}{\alpha'}
- $\fooA$
-\end{smodule}
-
-\end{document} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF b/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF
deleted file mode 100644
index 2edd1633a4..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF
+++ /dev/null
@@ -1,2 +0,0 @@
-id: Foo/Bar
-ns: http://mathhub.info/tests/Foo/Bar
diff --git a/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex b/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex
deleted file mode 100644
index 1f88362f33..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex
+++ /dev/null
@@ -1,13 +0,0 @@
-\def\mathhub{../../../}
-
-\documentclass[debug]{stex}
-
-\begin{document}
-
-\begin{smodule}{Circular1}
- \symdef{fooA}{\alpha}
- \usemodule[Bar/Foo]{circular2?Circular2}
- $\fooB$ and $\fooAb$
-\end{smodule}
-
-\end{document} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/tests/sometest.tex b/macros/latex/contrib/stex/doc/tests/sometest.tex
deleted file mode 100644
index 7946b85c60..0000000000
--- a/macros/latex/contrib/stex/doc/tests/sometest.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\this is \a test
-
-this \is a \test