diff options
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.pdf | bin | 1466792 -> 1467004 bytes | |||
-rw-r--r-- | macros/latex/contrib/stex/doc/stex-doc.tex | 28 | ||||
-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.pdf | bin | 670358 -> 670569 bytes | |||
-rw-r--r-- | macros/latex/contrib/stex/doc/stex-manual.tex | 36 | ||||
-rw-r--r-- | macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF | 2 | ||||
-rw-r--r-- | macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex | 15 | ||||
-rw-r--r-- | macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF | 2 | ||||
-rw-r--r-- | macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex | 13 | ||||
-rw-r--r-- | macros/latex/contrib/stex/doc/tests/sometest.tex | 3 |
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 Binary files differindex dbf89047e9..7499111fa8 100644 --- a/macros/latex/contrib/stex/doc/stex-doc.pdf +++ b/macros/latex/contrib/stex/doc/stex-doc.pdf 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 Binary files differindex 861f9cc111..80b4154b9a 100644 --- a/macros/latex/contrib/stex/doc/stex-manual.pdf +++ b/macros/latex/contrib/stex/doc/stex-manual.pdf 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 |