summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex')
-rw-r--r--macros/latex/contrib/stex/README.md2
-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
-rw-r--r--macros/latex/contrib/stex/source/extensions/Makefile2
-rw-r--r--macros/latex/contrib/stex/source/extensions/document-structure.dtx10
-rw-r--r--macros/latex/contrib/stex/source/extensions/hwexam.dtx8
-rw-r--r--macros/latex/contrib/stex/source/extensions/notesslides.dtx18
-rw-r--r--macros/latex/contrib/stex/source/extensions/problem.dtx8
-rw-r--r--macros/latex/contrib/stex/source/extensions/stex-extensions.ins (renamed from macros/latex/contrib/stex/source/extensions/extensions.ins)0
-rw-r--r--macros/latex/contrib/stex/source/extensions/tikzinput.dtx8
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-basics.dtx (renamed from macros/latex/contrib/stex/source/stex/basics.dtx)8
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-features.dtx (renamed from macros/latex/contrib/stex/source/stex/features.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-inheritance.dtx (renamed from macros/latex/contrib/stex/source/stex/inheritance.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-mathhub.dtx (renamed from macros/latex/contrib/stex/source/stex/mathhub.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-metatheory.dtx (renamed from macros/latex/contrib/stex/source/stex/metatheory.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-modules.dtx (renamed from macros/latex/contrib/stex/source/stex/modules.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-others.dtx (renamed from macros/latex/contrib/stex/source/stex/others.dtx)3
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-proofs.dtx (renamed from macros/latex/contrib/stex/source/stex/sproof.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-references.dtx (renamed from macros/latex/contrib/stex/source/stex/references.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-statements.dtx (renamed from macros/latex/contrib/stex/source/stex/statements.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-symbols.dtx (renamed from macros/latex/contrib/stex/source/stex/symbols.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex-terms.dtx (renamed from macros/latex/contrib/stex/source/stex/terms.dtx)4
-rw-r--r--macros/latex/contrib/stex/source/stex/stex.ins26
-rw-r--r--macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty2
-rw-r--r--macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty2
-rw-r--r--macros/latex/contrib/stex/tex/img/stex-cc-by-sa.png (renamed from macros/latex/contrib/stex/tex/img/cc-by-sa.png)bin5083 -> 5083 bytes
-rw-r--r--macros/latex/contrib/stex/tex/img/stex-cc_somerights.png (renamed from macros/latex/contrib/stex/tex/img/cc_somerights.png)bin1082 -> 1082 bytes
-rw-r--r--macros/latex/contrib/stex/tex/img/stex-dangerous-bend.png (renamed from macros/latex/contrib/stex/tex/img/dangerous-bend.png)bin2117 -> 2117 bytes
-rw-r--r--macros/latex/contrib/stex/tex/ldf/document-structure-ngerman.ldf (renamed from macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf)0
54 files changed, 100 insertions, 136 deletions
diff --git a/macros/latex/contrib/stex/README.md b/macros/latex/contrib/stex/README.md
index 4d0b3afbe0..13caa1f734 100644
--- a/macros/latex/contrib/stex/README.md
+++ b/macros/latex/contrib/stex/README.md
@@ -16,7 +16,7 @@ Michael Kohlhase, Dennis Müller, FAU Erlangen-Nürnberg.
## Documentation
See the
-[documentation of the sTeX package](https://github.com/slatex/sTeX/blob/main/doc/stex-manual.pdf)
+[documentation of the sTeX package](https://github.com/slatex/sTeX/blob/main/doc/stex-doc.pdf)
for details.
## Setup
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
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}
}
}
diff --git a/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
index 4ebba507ae..af1c0c2a4c 100644
--- a/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
+++ b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
@@ -1,6 +1,6 @@
% Beamer sTeX notes theme;
% Copyright (c) 2022 Michael Kohlhase <michael.kohlhase@fau.de>.
-\ProvidesPackage{beamernotesthemesTeX}
+\ProvidesPackage{beamernotestheme-sTeX}
\typeout{Beamer sTeX notes theme}
\setbeamertemplate{theorem begin}
{%
diff --git a/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
index f5cc87feb4..5d3a63c630 100644
--- a/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
+++ b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
@@ -1,6 +1,6 @@
% Beamer sTeX slide theme;
% Copyright (c) 20 Michael Kohlhase <michael.kohlhase@fau.de>.
-\ProvidesPackage{beamerthemesTeX}
+\ProvidesPackage{beamertheme-sTeX}
\typeout{Beamer sTeX theme}
\RequirePackage{xspace}
diff --git a/macros/latex/contrib/stex/tex/img/cc-by-sa.png b/macros/latex/contrib/stex/tex/img/stex-cc-by-sa.png
index f0a944e0b8..f0a944e0b8 100644
--- a/macros/latex/contrib/stex/tex/img/cc-by-sa.png
+++ b/macros/latex/contrib/stex/tex/img/stex-cc-by-sa.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/img/cc_somerights.png b/macros/latex/contrib/stex/tex/img/stex-cc_somerights.png
index fd7d3c7f33..fd7d3c7f33 100644
--- a/macros/latex/contrib/stex/tex/img/cc_somerights.png
+++ b/macros/latex/contrib/stex/tex/img/stex-cc_somerights.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/img/dangerous-bend.png b/macros/latex/contrib/stex/tex/img/stex-dangerous-bend.png
index fbcfefa5d9..fbcfefa5d9 100644
--- a/macros/latex/contrib/stex/tex/img/dangerous-bend.png
+++ b/macros/latex/contrib/stex/tex/img/stex-dangerous-bend.png
Binary files differ
diff --git a/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/document-structure-ngerman.ldf
index 3486813833..3486813833 100644
--- a/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf
+++ b/macros/latex/contrib/stex/tex/ldf/document-structure-ngerman.ldf