diff options
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-doc.tex')
-rw-r--r-- | macros/latex/contrib/stex/doc/stex-doc.tex | 28 |
1 files changed, 14 insertions, 14 deletions
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} |