diff options
author | Karl Berry <karl@freefriends.org> | 2019-03-20 22:31:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-03-20 22:31:24 +0000 |
commit | 2b006ec0e0cafe12255f874f9c44786ab6f38901 (patch) | |
tree | c40f5796e1b34e3f051abd84d049e092e4ffd0ab /Master/texmf-dist/source/latex/stex/stex | |
parent | 8e508e8b0218f17eb318645073096f2cf645cc78 (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.dtx | 31 |
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> |