CTAN sync 202202260300

1 files changed, 210 insertions, 0 deletions

diff --git a/macros/latex/contrib/stex/doc/stex-doc.tex b/macros/latex/contrib/stex/doc/stex-doc.tex
new file mode 100644
index 0000000000..8bd790dcb8
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/stex-doc.tex
@@ -0,0 +1,210 @@
+\def\bibfolder{../lib/bib}
+\input{docheader}
+\infulldoctrue
+
+\ExplSyntaxOn
+\def\OmitDocInput#1{
+\clist_gput_right:Nn \g_docinput_clist
+  { #1 }
+}
+\bool_set_true:N \stex_dtx_tests_bool
+\ExplSyntaxOff
+
+\expandafter\newif\csname if@infulldoc\expandafter\endcsname\csname @infulldoctrue\endcsname
+
+\begin{document}
+	\title{
+		The {\stex{3}} Package
+		\thanks{Version {\fileversion} (last revised {\filedate})}
+ 	}
+	\author{Michael Kohlhase, Dennis Müller\\
+		FAU Erlangen-Nürnberg\\
+		\url{http://kwarc.info/}
+	}
+	\pagenumbering{roman}
+	\maketitle
+	
+	\input{abstract}\bigskip
+
+	This is the full documentation of \sTeX. It
+	consists of four parts:
+	\begin{itemize}
+		\item \autoref{part:manual} is a general manual
+			for the \sTeX package and associated software.
+			It is primarily directed at end-users who
+			want to use \sTeX to author semantically
+			enriched documents.
+		\item \autoref{part:documentation} 
+			documents the macros provided
+			by the \sTeX package. It is primarily directed
+			at package authors who want to build on
+			\sTeX, but can also serve as a reference manual 
+			for end-users.
+		\item \autoref{part:extensions} documents additional
+			packages that build on \sTeX, primarily its
+			module system. These are not part of the
+			\sTeX package itself, but useful additions
+			enabled by \sTeX package functionality.
+		\item \autoref{part:implementation} is the
+			detailled documentation of the \sTeX package
+			implementation.
+	\end{itemize}
+	
+	\makeatletter
+		\renewcommand\part{%
+    		\clearpage
+  			\thispagestyle{plain}%
+  			\@tempswafalse
+  			\null\vfil
+  			\secdef\@part\@spart%
+  		}
+		\newcounter{chapter}
+		\numberwithin{section}{chapter}
+		\renewcommand\thechapter{\@arabic\c@chapter}
+		\renewcommand\thesection{\thechapter.\@arabic\c@section}
+		\newcommand*\chaptermark[1]{}
+		\setcounter{secnumdepth}{2}
+		\newcommand\@chapapp{\chaptername}
+		%\newcommand\chaptername{Chapter}
+  		\def\ps@headings{%
+    		\let\@oddfoot\@empty
+    		\def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+    		\let\@mkboth\markboth
+    		\def\chaptermark##1{%
+      			\markright{\MakeUppercase{%
+        			\ifnum \c@secnumdepth >\m@ne
+            			\@chapapp\ \thechapter. \ %
+        			\fi
+        		##1}}%
+        	}%
+        }
+		\newcommand\chapter{\clearpage
+			\thispagestyle{plain}%
+			\global\@topnum\z@
+			\@afterindentfalse
+			\secdef\@chapter\@schapter%
+		}
+		\def\@chapter[#1]#2{\refstepcounter{chapter}%
+			\typeout{\@chapapp\space\thechapter.}%
+			\addcontentsline{toc}{chapter}%
+				{\protect\numberline{\thechapter}#1}%
+			\chaptermark{#1}%
+			\addtocontents{lof}{\protect\addvspace{10\p@}}%
+			\addtocontents{lot}{\protect\addvspace{10\p@}}%
+			\@makechapterhead{#2}%
+			\@afterheading%
+		}
+		\def\@makechapterhead#1{%
+			\vspace*{50\p@}%
+			{\parindent \z@ \raggedright \normalfont
+				\huge\bfseries \@chapapp\space \thechapter
+				\par\nobreak
+				\vskip 20\p@
+				\interlinepenalty\@M
+				\Huge \bfseries #1\par\nobreak
+				\vskip 40\p@
+			}%
+		}
+\newcommand*\l@chapter[2]{%
+  \ifnum \c@tocdepth >\m@ne
+    \addpenalty{-\@highpenalty}%
+    \vskip 1.0em \@plus\p@
+    \setlength\@tempdima{1.5em}%
+    \begingroup
+      \parindent \z@ \rightskip \@pnumwidth
+      \parfillskip -\@pnumwidth
+      \leavevmode \bfseries
+      \advance\leftskip\@tempdima
+      \hskip -\leftskip
+      #1\nobreak\hfil
+      \nobreak\hb@xt@\@pnumwidth{\hss #2%
+                                 \kern-\p@\kern\p@}\par
+      \penalty\@highpenalty
+    \endgroup
+  \fi}
+\renewcommand*\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
+\renewcommand*\l@subsection{\@dottedtocline{2}{3.8em}{3.2em}}
+\renewcommand*\l@subsubsection{\@dottedtocline{3}{7.0em}{4.1em}}
+\def\partname{Part}
+\def\toclevel@part{-1}
+\def\maketitle{\chapter{\@title}}
+\let\thanks\@gobble
+\let\DelayPrintIndex\PrintIndex
+\let\PrintIndex\@empty
+\providecommand*{\hexnum}[1]{\text{\texttt{\char`\"}#1}}
+\makeatother
+
+\ExplSyntaxOn
+\int_set:Nn \l_document_structure_section_level_int {1}
+\ExplSyntaxOff
+
+\clearpage
+
+{%
+  \def\\{:}% fix "newlines" in the ToC
+  \tableofcontents
+}
+
+\clearpage
+\pagenumbering{arabic}
+
+\part{Manual}\label{part:manual}
+
+%\let\oldsubsubsection\subsubsection
+%\let\subsubsection\section
+%\let\subsection\section
+%\let\section\chapter
+
+\input{stex-manual}
+
+%\let\section\subsection
+%\let\subsection\subsubsection
+%\let\subsubsection\oldsubsubsection
+
+\part{Documentation}\label{part:documentation}
+
+\ExplSyntaxOn
+\int_set:Nn \l_document_structure_section_level_int {2}
+\ExplSyntaxOff
+
+
+%\errmessage{\expandafter\meaning\csname comment \endcsname}
+\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}
+
+\OmitDocInput{../source/stex/others.dtx}
+\DocInput{../source/stex/metatheory.dtx}
+
+\part{Extensions}\label{part:extensions}
+
+\DocInput{../source/extensions/tikzinput.dtx}
+\DocInput{../source/extensions/document-structure.dtx}
+\DocInput{../source/extensions/notesslides.dtx}
+\DocInput{../source/extensions/problem.dtx}
+\DocInput{../source/extensions/hwexam.dtx}
+
+
+\part{Implementation}\label{part:implementation}
+
+\def\maketitle{}
+\let\subsubsection\section
+\let\subsection\section
+\let\section\chapter
+
+\EnableImplementation
+\DisableDocumentation
+
+\DocInputAgain
+
+\end{document}