summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/stex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-03-20 22:31:24 +0000
committerKarl Berry <karl@freefriends.org>2019-03-20 22:31:24 +0000
commit2b006ec0e0cafe12255f874f9c44786ab6f38901 (patch)
treec40f5796e1b34e3f051abd84d049e092e4ffd0ab /Master/texmf-dist/source/latex/stex/stex
parent8e508e8b0218f17eb318645073096f2cf645cc78 (diff)
stex (20mar19)
git-svn-id: svn://tug.org/texlive/trunk@50489 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/stex')
-rw-r--r--Master/texmf-dist/source/latex/stex/stex/stex.dtx31
1 files changed, 16 insertions, 15 deletions
diff --git a/Master/texmf-dist/source/latex/stex/stex/stex.dtx b/Master/texmf-dist/source/latex/stex/stex/stex.dtx
index 5fa948d9203..bec4f38373c 100644
--- a/Master/texmf-dist/source/latex/stex/stex/stex.dtx
+++ b/Master/texmf-dist/source/latex/stex/stex/stex.dtx
@@ -10,11 +10,12 @@
%
% \iffalse
%<package|logo>\NeedsTeXFormat{LaTeX2e}[1999/12/01]
-%<package>\ProvidesPackage{stex}[2016/04/07 v1.0 Semantic Markup]
-%<logo>\ProvidesPackage{stex-logo}[2016/04/07 v1.0 sTeX Logo]
+%<package>\ProvidesPackage{stex}[2019/03/20 v1.0 Semantic Markup]
+%<logo>\ProvidesPackage{stex-logo}[2019/03/20 v1.0 sTeX Logo]
%
%<*driver>
\documentclass{ltxdoc}
+\usepackage[utf8]{inputenc}
\usepackage{url,float,xspace,tikz}
\usepackage[show]{ed}
\usepackage[hyperref=auto,style=alphabetic,backend=bibtex]{biblatex}
@@ -49,7 +50,7 @@
%
% \title{Semantic Markup in {\TeX/\LaTeX}}
% \author{Michael Kohlhase\\
-% Jacobs University, Bremen\\
+% FAU Erlangen-N\"urnberg\\
% \url{http://kwarc.info/kohlhase}}
% \maketitle
%
@@ -124,19 +125,19 @@
% The {\xml}-based syntax and the separation of the presentational-, functional- and
% programming/extensibility concerns in {\mathml} has some distinct advantages over the
% integrated approach in {\TeX/\LaTeX} on the services side: {\mathml} gives us better
-% \begin{compactitem}
+% \begin{itemize}
% \item integration with web-based publishing,
% \item accessibility to disabled persons, e.g. (well-written) {\mathml} contains enough
% structural information to supports screen readers.
% \item reusability, searchabiliby and integration with mathematical software systems
% (e.g. copy-and-paste to computer algebra systems), and
% \item validation and plausibility checking.
-% \end{compactitem}
+% \end{itemize}
%
% On the other hand, {\TeX/\LaTeX}/s adaptable syntax and tightly integrated programming
% features within has distinct advantages on the authoring side:
%
-% \begin{compactitem}
+% \begin{itemize}
% \item The {\TeX/\LaTeX} syntax is much more compact than {\mathml}, and if needed, the
% community develops {\LaTeX} packages that supply new functionality in with a succinct
% and intuitive syntax.
@@ -148,7 +149,7 @@
% \item There is a host of software systems centered around the {\TeX/\LaTeX} language that
% make authoring content easier: many editors have special modes for {\LaTeX}, there are
% spelling/style/grammar checkers, transformers to other markup formats, etc.
-% \end{compactitem}
+% \end{itemize}
%
% In other words, the technical community is is heavily invested in the whole
% {\index*{workflow}}, and technical know-how about the format permeates the
@@ -181,7 +182,7 @@
% bindings''\index{LaTeXML}{binding}, i.e. a directive to the \latexml emitter that
% specifies the target representation in {\xml}.
%
-% \subsection{Generating \protect\omdoc from \sTeX}
+% \subsection{Generating \protect\omdoc from \protect\sTeX}
%
% The \sTeX packages (see Section~\ref{sec:packages}) provide functionalities for marking
% up the functional structure of mathematical documents, so that the {\LaTeX} sources
@@ -471,7 +472,7 @@
% One of the key advantages of semantic markup with \sTeX is that the \sTeX sources are
% highly reusable by the ``object-oriented'' inheritance model induced by \sTeX
% modules. It turned out to be useful to divide \sTeX documents into three kinds of files:
-% \begin{compactenum}
+% \begin{enumerate}
% \item \textbf{module files}: files that essentially contain a collection of \sTeX
% modules~\ctancite{KohAmb:smmssl} -- usually a single one whose module name coincides
% the file name base.
@@ -480,7 +481,7 @@
% additional remarks.
% \item \textbf{driver files} that set up the document class, contain the preambles, and
% input reference fragment files.
-% \end{compactenum}
+% \end{enumerate}
%
% These correspond to the \sTeX documents, but can reuse and share \sTeX fragments and
% modules. Figure~\ref{fig:reuse} shows a situation, where we have two courses given over
@@ -574,14 +575,14 @@
% Mathematical Documents -- documents that are made context-aware and interactive by
% semantic annotations. \sTeX is one of the main input formats for informal active
% documents. MathHub supports \sTeX documents in three ways:
-% \begin{compactenum}
+% \begin{enumerate}
% \item MathHub offers free/open hosting in document repositories for (mathematical) \sTeX
% document collections.
% \item the backend system supports the large-scale change- and error-management for \sTeX
% documents in the ``little modules'' paradigm.
% \item the front-end displays interactive (HTML5) documents generated from the \sTeX
% sources (via \omdoc).
-% \end{compactenum}
+% \end{enumerate}
% The MathHub system is probably the best way of developing and hosting larger \sTeX
% document collections. It offers two authoring workflows an online authoring workflow via
% a direct web interface~\cite{MathHub:oa:on} or casual users and an offline authoring
@@ -595,7 +596,7 @@
% then commits for inclusion to MathHub. The MathHub build system can be used locally for
% efficient development via the |localmh| system~\cite{lmh:github:on}. In a nutshell --
% see~\cite{MathHub:law:on} for details --
-% \begin{compactenum}
+% \begin{enumerate}
% \item |localmh| is installed in a docker container that supplies the build system and
% provides the |lmh| command suite.
% \item |lmh pdf| formats \sTeX modules to PDF -- building all dependencies, e.g. module
@@ -605,7 +606,7 @@
% \omdoc versions.
% \item |lmh| \meta{gitsc} distributes the git subcommand \meta{gitsc} over multiple
% repositories.
-% \end{compactenum}
+% \end{enumerate}
% Various other |lmh| subcommands help with large-scale editing problems like renaming or
% moving modules, translations in multilingual settings, etc.
%
@@ -634,10 +635,10 @@
% Then we make sure that the necessary packages are loaded (in the right versions).
% \begin{macrocode}
\RequirePackage{stex-logo}
+\RequirePackage{omdoc}
\RequirePackage{statements}
\RequirePackage{structview}
\RequirePackage{sproof}
-\RequirePackage{omdoc}
\RequirePackage{cmath}
\RequirePackage{dcm}
%</package>