summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-03-30 23:23:02 +0000
committerKarl Berry <karl@freefriends.org>2012-03-30 23:23:02 +0000
commit849996eca72af498b48b10fbea7f14c4b9d21b8f (patch)
tree2d40d42dfc9fc0b0622212cc220868f98345305f /Master/texmf-dist/doc/latex/stex
parentd82e1c23973fd0271f93686f487bd1cee8dcd947 (diff)
restore stex (ca. 28jan12)
git-svn-id: svn://tug.org/texlive/trunk@25792 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex')
-rw-r--r--Master/texmf-dist/doc/latex/stex/README13
-rw-r--r--Master/texmf-dist/doc/latex/stex/cmath/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/cmath/cmath.pdfbin0 -> 331122 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/cmathml/README13
-rw-r--r--Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdfbin0 -> 456477 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/cnx/README13
-rw-r--r--Master/texmf-dist/doc/latex/stex/cnx/cnx.pdfbin0 -> 341640 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/dcm/README14
-rw-r--r--Master/texmf-dist/doc/latex/stex/dcm/dcm.pdfbin0 -> 254733 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/Makefile4
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/README18
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/Makefile8
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/all.omdoc155
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/all.tex12
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc215
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/functions.sms13
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/functions.tex22
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/post.tex1
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/pre.tex8
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc67
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/reals.sms5
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/reals.tex20
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/Makefile7
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc53
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms6
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex20
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc48
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms5
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex16
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc145
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/intro.sms2
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/intro.tex96
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc48
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/paper.pdfbin0 -> 161414 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/paper.tex149
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/test/Makefile7
-rw-r--r--Master/texmf-dist/doc/latex/stex/hwexam/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdfbin0 -> 323201 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/metakeys/README11
-rw-r--r--Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdfbin0 -> 299544 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/mikoslides/README11
-rw-r--r--Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdfbin0 -> 298324 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/modules/README21
-rw-r--r--Master/texmf-dist/doc/latex/stex/modules/modules.pdfbin0 -> 472622 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/omdoc/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdfbin0 -> 328731 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/omtext/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/omtext/omtext.pdfbin0 -> 338774 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/presentation/README16
-rw-r--r--Master/texmf-dist/doc/latex/stex/presentation/presentation.pdfbin0 -> 409360 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/problem/README10
-rw-r--r--Master/texmf-dist/doc/latex/stex/problem/problem.pdfbin0 -> 280208 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/rdfmeta/README11
-rw-r--r--Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdfbin0 -> 45243 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex26
-rw-r--r--Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdfbin0 -> 333948 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdfbin0 -> 287460 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdfbin0 -> 110091 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex136
-rw-r--r--Master/texmf-dist/doc/latex/stex/sproof/README11
-rw-r--r--Master/texmf-dist/doc/latex/stex/sproof/sproof.pdfbin0 -> 352384 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/README10
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/book.pdfbin0 -> 95620 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/book.tex18
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/idc.pdfbin0 -> 61066 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/idc.tex21
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/idcmain.tex23
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/scr.pdfbin0 -> 71483 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/scr.tex20
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/scrmain.tex23
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/sref.pdfbin0 -> 335386 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/statements/README10
-rw-r--r--Master/texmf-dist/doc/latex/stex/statements/statements.pdfbin0 -> 401367 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/stex.pdfbin0 -> 350237 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/workaddress/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdfbin0 -> 296989 bytes
77 files changed, 1653 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README
new file mode 100644
index 00000000000..ada6fff6096
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/README
@@ -0,0 +1,13 @@
+sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents
+
+This directory contains the sTeX package collection, a version of TeX/LaTeX that allows
+to markup TeX/LaTeX documents semantically without leaving the document format,
+essentially turning it into a document format for mathematical knowledge management
+(MKM).
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version of this
+package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it
+is useful to include selected subdirectories of this as SVN externals.
diff --git a/Master/texmf-dist/doc/latex/stex/cmath/README b/Master/texmf-dist/doc/latex/stex/cmath/README
new file mode 100644
index 00000000000..350b674d572
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cmath/README
@@ -0,0 +1,12 @@
+cmath.sty: An Infrastructure for Building Inline Content Math in sTeX
+
+This package supplies an infrastructure that allows to specify to build inline content math
+structures as strict content MathML or OpenMath objects.
+
+Copyright (c) 2011 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation
+
diff --git a/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf b/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf
new file mode 100644
index 00000000000..f4b9ba77b08
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/README b/Master/texmf-dist/doc/latex/stex/cmathml/README
new file mode 100644
index 00000000000..3117561fabb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cmathml/README
@@ -0,0 +1,13 @@
+cmathml.sty: Semantic Macros for Content MathML in LaTeX
+cmathmlx.sty: Semantic Macros for extended Content MathML
+
+This package provides a collection of semantic macros for Content MathML and their LateXML
+bindings. These macros form the basis of a naive translation from semantically preloaded
+LaTeX formulae into the Content MathML formulae via the LaTeXML system.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+The development version of this package can be found at
+$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/cmathml/README $
+
diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
new file mode 100644
index 00000000000..9bd3dcd750a
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/cnx/README b/Master/texmf-dist/doc/latex/stex/cnx/README
new file mode 100644
index 00000000000..113b526364f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cnx/README
@@ -0,0 +1,13 @@
+cnx.cls: A LaTeX-based Syntax for Connexions Modules
+
+The cnx class is a collection of TeX macros that allow to write Connexions modules in the
+CNXLaTeX format without leaving the LaTeX workflow. Modules are authored using cnx.cls
+using only a text editor, transformed to PDF and proofread as usual. For publication,
+CNXLaTeX modules are transformed to CNXML via the LaTeXML translator and can be uploaded
+to the Connexions system.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+The development version of this package can be found at
+$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/cnx/README $
diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf
new file mode 100644
index 00000000000..0746400edab
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/dcm/README b/Master/texmf-dist/doc/latex/stex/dcm/README
new file mode 100644
index 00000000000..d2bc0ddac9c
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/dcm/README
@@ -0,0 +1,14 @@
+dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents
+
+The dcm packge allows mark up Dublin Core Metadata in LaTeX documents that can be
+harvested by automated tools or exported to PDF.
+
+The file dcmi.tex is an sTeX ontology file for the DCM relations.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/dcm
+
diff --git a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf
new file mode 100644
index 00000000000..67d7607ec09
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/example/Makefile b/Master/texmf-dist/doc/latex/stex/example/Makefile
new file mode 100644
index 00000000000..df87da1fbee
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/Makefile
@@ -0,0 +1,4 @@
+STEXDIR = ..
+MAKEDIRS = background paper
+CLEANDIRS = $(MAKEDIRS)
+include $(STEXDIR)/make/Makefile.subdirs
diff --git a/Master/texmf-dist/doc/latex/stex/example/README b/Master/texmf-dist/doc/latex/stex/example/README
new file mode 100644
index 00000000000..7424d68ebca
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/README
@@ -0,0 +1,18 @@
+This directory contains a typical (if minimal) example of a sTeX
+collection, and a Makefile-based conversion workflow. It is intended
+to test the sTeX distribution and serve as an example for sTeX users
+to set up their system. It contains
+
+README: this file
+Makefile: this contains rules to automate the PDF formatting and
+ XML conversion process.
+background: a directory with background modules, this is assumed to
+ exist before starting work on the paper, in real life this
+ would probably be a subversion external.
+paper: a directory with a paper based on two modules and the
+ background modules.
+test: a directory that has the makefiles to accomodate your tests;
+ just copy your files there adjust TARGET and type make.
+
+For an explanation of the design of the example see paper/example.pdf or
+https://trac.kwarc.info/sTeX/wiki/sTeXCollections
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/Makefile b/Master/texmf-dist/doc/latex/stex/example/background/Makefile
new file mode 100644
index 00000000000..af7cc21e5eb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/Makefile
@@ -0,0 +1,8 @@
+STEXDIR = ../..
+TARGET = all.tex
+BUTFILES = pre.tex post.tex
+MODSLIBDIR = .
+
+include $(STEXDIR)/make/Makefile.vars
+all: omdoc mods pdf
+include $(STEXDIR)/make/Makefile.in
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
new file mode 100644
index 00000000000..af660821194
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
@@ -0,0 +1,155 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="all.tex#textrange(from=5;1,to=5;17)" xml:id="all.omdoc">
+ <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">
+ <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)">
+ <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1">
+ <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p>
+ </dc:title>
+ </metadata>
+ <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)">
+ <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
+ <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/>
+ <notation cd="functions" name="cart">
+ <prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="cart"/>
+ <exprlist name="args">
+ <expr name="arg"/>
+ </exprlist>
+ </om:OMA>
+ </prototype>
+ <rendering precedence="500">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <iterate name="args">
+ <separator>
+ <m:mo cr="fun">&#xD7;</m:mo>
+ </separator>
+ <render name="arg"/>
+ </iterate>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </rendering>
+ </notation>
+ <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/>
+ <notation cd="functions" name="fun">
+ <prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="fun"/>
+ <expr name="arg1"/>
+ <expr name="arg2"/>
+ <expr name="arg3"/>
+ </om:OMA>
+ </prototype>
+ <rendering precedence="200">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="200"/>
+ <m:mo cr="fun">:</m:mo>
+ <render name="arg2" precedence="200"/>
+ <m:mo cr="fun">&#x2192;</m:mo>
+ <render name="arg3" precedence="200"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </rendering>
+ </notation>
+ <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/>
+ <notation cd="functions" name="inset">
+ <prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="inset"/>
+ <expr name="arg1"/>
+ <expr name="arg2"/>
+ </om:OMA>
+ </prototype>
+ <rendering precedence="650">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="650"/>
+ <m:mo cr="fun">&#x2208;</m:mo>
+ <render name="arg2" precedence="650"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </rendering>
+ </notation>
+ <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/>
+ <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)">
+ <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)">
+ <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)">
+A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><phrase>function</phrase></idp></ide></idx><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ></p>
+ </CMP>
+ </definition>
+ </theory>
+ </omgroup>
+ <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">
+ <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)">
+ <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1">
+ <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p>
+ </dc:title>
+ </metadata>
+ <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)">
+ <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
+ <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/>
+ <notation cd="reals" name="RealNumbers">
+ <prototype>
+ <om:OMS cd="reals" name="RealNumbers"/>
+ </prototype>
+ <rendering>
+ <m:mi mathvariant="double-struck">R</m:mi>
+ </rendering>
+ </notation>
+ <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/>
+ <notation cd="reals" name="absval">
+ <prototype>
+ <om:OMA>
+ <om:OMS cd="reals" cr="fun" name="absval"/>
+ <expr name="arg1"/>
+ </om:OMA>
+ </prototype>
+ <rendering precedence="2000">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <m:mo cr="fun">|</m:mo>
+ <render name="arg1" precedence="2000"/>
+ <m:mo cr="fun">|</m:mo>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </rendering>
+ </notation>
+ <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/>
+ <notation cd="reals" name="rfrac">
+ <prototype>
+ <om:OMA>
+ <om:OMS cd="reals" cr="fun" name="rfrac"/>
+ <expr name="arg1"/>
+ <expr name="arg2"/>
+ </om:OMA>
+ </prototype>
+ <rendering>
+ <m:mfrac>
+ <render name="arg1"/>
+ <render name="arg2"/>
+ </m:mfrac>
+ </rendering>
+ </notation>
+ <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/>
+ <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)">
+ <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)">
+ <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)">
+We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><phrase>real</phrase></idp><idp><phrase>numbers</phrase></idp></ide></idx> we all know and love with
+<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>.
+</p>
+ </CMP>
+ </definition>
+ <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)">
+ <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)">
+ <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)">
+The absolute value <om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ> of a real number <om:OMOBJ><om:OMV name="r"/></om:OMOBJ>.
+</p>
+ </CMP>
+ </definition>
+ </theory>
+ </omgroup>
+ <!--The data elements-->
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex b/Master/texmf-dist/doc/latex/stex/example/background/all.tex
new file mode 100644
index 00000000000..27df61d1e61
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/all.tex
@@ -0,0 +1,12 @@
+\documentclass{omdoc}
+\usepackage{stex}
+\usepackage{hyperref,amssymb}
+\defpath{backmods}{../background}
+\begin{document}
+\input{functions}
+\input{reals}
+\end{document}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
new file mode 100644
index 00000000000..68f4ab80859
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
@@ -0,0 +1,215 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <omdoc:omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=18;13)">
+ <omdoc:metadata xml:id="sec.functions.metadata1" about="#sec.functions.metadata1" stex:srcref="functions.tex#textrange(from=1;0,to=17;12)">
+ <dc:title xml:id="sec.functions.metadata1.title1" about="#sec.functions.metadata1.title1" stex:srcref="functions.tex#textrange(from=1;0,to=18;13)">Functions</dc:title>
+ </omdoc:metadata>
+ <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=17;12)">
+ <omdoc:symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/>
+ <omdoc:notation cd="functions" name="cart">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="cart"/>
+ <omdoc:exprlist name="args">
+ <omdoc:expr name="arg"/>
+ </omdoc:exprlist>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="500">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <omdoc:iterate name="args">
+ <omdoc:separator>
+ <m:mo cr="fun">&#xD7;</m:mo>
+ </omdoc:separator>
+ <omdoc:render name="arg"/>
+ </omdoc:iterate>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/>
+ <omdoc:notation cd="functions" name="fun">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="fun"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ <omdoc:expr name="arg3"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="200">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="200"/>
+ <m:mo cr="fun">:</m:mo>
+ <render name="arg2" precedence="200"/>
+ <m:mo cr="fun">&#x2192;</m:mo>
+ <render name="arg3" precedence="200"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/>
+ <omdoc:notation cd="functions" name="inset">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="inset"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="650">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="650"/>
+ <m:mo cr="fun">&#x2208;</m:mo>
+ <render name="arg2" precedence="650"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="sseteq" xml:id="sseteq.sym" about="#sseteq.sym" stex:srcref="functions.tex#textrange(from=6;0,to=6;41)"/>
+ <omdoc:notation cd="functions" name="sseteq">
+ <omdoc:prototype>
+ <om:OMS cd="functions" name="sseteq"/>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mo>&#x2286;</m:mo>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:notation cd="functions" name="sseteq">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="sseteq"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="300">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="300"/>
+ <m:mo cr="fun">&#x2286;</m:mo>
+ <render name="arg2" precedence="300"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="tup" xml:id="tup.sym" about="#tup.sym" stex:srcref="functions.tex#textrange(from=8;1,to=8;34)"/>
+ <omdoc:notation cd="functions" name="tup">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="tup"/>
+ <omdoc:expr name="arg1"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mfenced open="&#x27E8;" close="&#x27E9;">
+ <render name="arg1"/>
+ </m:mfenced>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:notation cd="functions" name="cart">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="cart"/>
+ <omdoc:expr name="arg1"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <omdoc:iterate name="args">
+ <omdoc:separator>
+ <m:mo cr="fun">&#xD7;</m:mo>
+ </omdoc:separator>
+ <omdoc:render name="arg"/>
+ </omdoc:iterate>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="setdiff" xml:id="setdiff.sym" about="#setdiff.sym" stex:srcref="functions.tex#textrange(from=10;0,to=10;44)"/>
+ <omdoc:notation cd="functions" name="setdiff">
+ <omdoc:prototype>
+ <om:OMS cd="functions" name="setdiff"/>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mo>\</m:mo>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:notation cd="functions" name="setdiff">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="setdiff"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="600">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <render name="arg1" precedence="600"/>
+ <m:mo cr="fun">\</m:mo>
+ <render name="arg2" precedence="600"/>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="set" xml:id="set.sym" about="#set.sym" stex:srcref="functions.tex#textrange(from=12;0,to=12;62)"/>
+ <omdoc:notation cd="functions" name="set">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="set"/>
+ <omdoc:exprlist name="args">
+ <omdoc:expr name="arg"/>
+ </omdoc:exprlist>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="1000000">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <m:mo cr="fun">{</m:mo>
+ <omdoc:iterate name="args" precedence="-1000000">
+ <omdoc:separator>
+ <m:mo cr="fun">,</m:mo>
+ </omdoc:separator>
+ <omdoc:render name="arg" precedence="-1000000"/>
+ </omdoc:iterate>
+ <m:mo cr="fun">}</m:mo>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="setst" xml:id="setst.sym" about="#setst.sym" stex:srcref="functions.tex#textrange(from=13;1,to=13;67)"/>
+ <omdoc:notation cd="functions" name="setst">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="functions" cr="fun" name="setst"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="1000000">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <m:mo cr="fun">{</m:mo>
+ <render name="arg1" precedence="-1000000"/>
+ <m:mo cr="fun">&#x2223;</m:mo>
+ <render name="arg2" precedence="-1000000"/>
+ <m:mo cr="fun">}</m:mo>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)"/>
+ <omdoc:definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)">
+ <omdoc:CMP xml:id="functions.def.CMP1" about="#functions.def.CMP1" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="functions.def.CMP1.p1">A <omdoc:idx xml:id="functions.def.CMP1.p1.idx1" about="#functions.def.CMP1.p1.idx1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:idt xml:id="functions.def.CMP1.p1.idx1.idt1" about="#functions.def.CMP1.p1.idx1.idt1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:term cd="functions" name="function" role="definiendum" xml:id="functions.def.CMP1.p1.idx1.idt1.term1" about="#functions.def.CMP1.p1.idx1.idt1.term1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)">function</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="functions.def.CMP1.p1.idx1.ide2" about="#functions.def.CMP1.p1.idx1.ide2" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:idp>function</omdoc:idp></omdoc:ide></omdoc:idx><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ></p>
+ </omdoc:CMP>
+ </omdoc:definition>
+ </theory>
+ </omdoc:omgroup>
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms
new file mode 100644
index 00000000000..ee824b72754
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms
@@ -0,0 +1,13 @@
+\begin{module}[id=functions]%
+\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}}%
+\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}}%
+\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}}%
+\symdef[name=sseteq]{sseteqOp}{\subseteq} %
+\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}} %
+\symdef{tup}[1]{\langle#1\rangle}%
+\symdef{cart}[1]{\assoc\times{#1}}%
+\symdef[name=setdiff]{setdiffOp}{\backslash}%
+\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}} %
+\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}%
+\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}}%
+\end{module}%
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex
new file mode 100644
index 00000000000..d4ac497685f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex
@@ -0,0 +1,22 @@
+\begin{omgroup}[id=sec.functions,creators=miko]{Functions}
+\begin{module}[id=functions]
+\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}}
+\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}}
+\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}}
+\symdef[name=sseteq]{sseteqOp}{\subseteq}
+\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}}
+\symdef{tup}[1]{\langle#1\rangle}
+\symdef{cart}[1]{\assoc\times{#1}}
+\symdef[name=setdiff]{setdiffOp}{\backslash}
+\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}}
+\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}
+\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}}
+\begin{definition}[id=functions.def]
+ A {\defi{function}} $\fun{f}AB$ is a left-total, right-unique relation in $\cart{A,B}$
+\end{definition}
+\end{module}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "all"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/post.tex b/Master/texmf-dist/doc/latex/stex/example/background/post.tex
new file mode 100644
index 00000000000..6b47932f52b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/post.tex
@@ -0,0 +1 @@
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/pre.tex b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex
new file mode 100644
index 00000000000..59f9473ea44
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex
@@ -0,0 +1,8 @@
+\documentclass{omdoc}
+\usepackage{stex,amssymb,lststex}
+\usepackage{hyperref}
+\def\omdoc{OMDoc}
+\def\latexml{LaTeXML}
+\defpath{backmods}{../background}
+% \baseURI[\backmods{}]{http://linkeddata.tntbase.org/stex}
+% \coolurion
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
new file mode 100644
index 00000000000..388eeb1a08f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
@@ -0,0 +1,67 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <omdoc:omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">
+ <omdoc:metadata xml:id="sec.reals.metadata1" about="#sec.reals.metadata1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)">
+ <dc:title xml:id="sec.reals.metadata1.title1" about="#sec.reals.metadata1.title1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</dc:title>
+ </omdoc:metadata>
+ <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)">
+ <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
+ <omdoc:symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/>
+ <omdoc:notation cd="reals" name="RealNumbers">
+ <omdoc:prototype>
+ <om:OMS cd="reals" name="RealNumbers"/>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mi mathvariant="double-struck">R</m:mi>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/>
+ <omdoc:notation cd="reals" name="absval">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="reals" cr="fun" name="absval"/>
+ <omdoc:expr name="arg1"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering precedence="2000">
+ <m:mrow>
+ <m:mo egroup="fence" fence="true">(</m:mo>
+ <m:mo cr="fun">|</m:mo>
+ <render name="arg1" precedence="2000"/>
+ <m:mo cr="fun">|</m:mo>
+ <m:mo egroup="fence" fence="true">)</m:mo>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/>
+ <omdoc:notation cd="reals" name="rfrac">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="reals" cr="fun" name="rfrac"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mfrac>
+ <render name="arg1"/>
+ <render name="arg2"/>
+ </m:mfrac>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/>
+ <omdoc:definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)">
+ <omdoc:CMP xml:id="reals.def.CMP1" about="#reals.def.CMP1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="reals.def.CMP1.p1">We denote the set of <omdoc:idx xml:id="reals.def.CMP1.p1.idx1" about="#reals.def.CMP1.p1.idx1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:idt xml:id="reals.def.CMP1.p1.idx1.idt1" about="#reals.def.CMP1.p1.idx1.idt1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.CMP1.p1.idx1.idt1.term1" about="#reals.def.CMP1.p1.idx1.idt1.term1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)">real numbers</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="reals.def.CMP1.p1.idx1.ide2" about="#reals.def.CMP1.p1.idx1.ide2" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:idp>real</omdoc:idp><omdoc:idp>numbers</omdoc:idp></omdoc:ide></omdoc:idx> we all know and love with
+<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>.</p>
+ </omdoc:CMP>
+ </omdoc:definition>
+ <omdoc:definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)">
+ <omdoc:CMP xml:id="absval.def.CMP1" about="#absval.def.CMP1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="absval.def.CMP1.p1">The absolute value <om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ> of a real number <om:OMOBJ><om:OMV name="r"/></om:OMOBJ>.</p>
+ </omdoc:CMP>
+ </omdoc:definition>
+ </theory>
+ </omdoc:omgroup>
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.sms b/Master/texmf-dist/doc/latex/stex/example/background/reals.sms
new file mode 100644
index 00000000000..437865ee78c
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.sms
@@ -0,0 +1,5 @@
+\begin{module}[id=reals]%
+\symdef{RealNumbers}{\mathbb{R}}%
+\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}%
+\symdef{rfrac}[2]{\frac{#1}{#2}}%
+\end{module}%
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex
new file mode 100644
index 00000000000..9bcba08ab82
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex
@@ -0,0 +1,20 @@
+\begin{omgroup}[id=sec.reals]{Real Numbers}
+\begin{module}[id=reals]
+\symdef{RealNumbers}{\mathbb{R}}
+\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}
+\symdef{rfrac}[2]{\frac{#1}{#2}}
+
+\begin{definition}[id=reals.def]
+ We denote the set of {\defii{real}{numbers}} we all know and love with
+ $\RealNumbers$.
+\end{definition}
+
+\begin{definition}[id=absval.def]
+ The absolute value $\absval{r}$ of a real number $r$.
+\end{definition}
+\end{module}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "all"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile
new file mode 100644
index 00000000000..1b71727ec2f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile
@@ -0,0 +1,7 @@
+STEXDIR = ../..
+TARGET = paper.tex
+MODSLIBDIR = ../background
+
+include $(STEXDIR)/make/Makefile.vars
+all: omdoc mods pdf
+include $(STEXDIR)/make/Makefile.in
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
new file mode 100644
index 00000000000..19c248a26dd
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
@@ -0,0 +1,53 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <omdoc:omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=16;13)">
+ <omdoc:metadata xml:id="sec.contfuncs.metadata1" about="#sec.contfuncs.metadata1" stex:srcref="continuous.tex#textrange(from=1;0,to=15;12)">
+ <dc:title xml:id="sec.contfuncs.metadata1.title1" about="#sec.contfuncs.metadata1.title1" stex:srcref="continuous.tex#textrange(from=1;0,to=16;13)">Continuous Functions</dc:title>
+ </omdoc:metadata>
+ <theory xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=15;12)">
+ <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
+ <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/>
+ <omdoc:imports from="../background/functions.omdoc#functions" xml:id="continuous.imports1" about="#continuous.imports1" stex:srcref="continuous.tex#textrange(from=3;0,to=3;46)"/>
+ <omdoc:imports from="../background/reals.omdoc#reals" xml:id="continuous.imports2" about="#continuous.imports2" stex:srcref="continuous.tex#textrange(from=4;0,to=4;38)"/>
+ <omdoc:symbol name="continuousfunctions" xml:id="continuousfunctions.sym" about="#continuousfunctions.sym" stex:srcref="continuous.tex#textrange(from=5;1,to=5;54)"/>
+ <omdoc:notation cd="continuous" name="continuousfunctions">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="continuous" cr="fun" name="continuousfunctions"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mrow>
+ <m:msup>
+ <m:mi mathvariant="script">C</m:mi>
+ <m:mn>0</m:mn>
+ </m:msup>
+ <m:mo>&#x2062;</m:mo>
+ <m:mfenced open="(" close=")">
+ <m:mrow>
+ <render name="arg1"/>
+ <m:mo>,</m:mo>
+ <render name="arg2"/>
+ </m:mrow>
+ </m:mfenced>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="continuous" xml:id="continuous.def.sym" about="#continuous.def.sym" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"/>
+ <omdoc:symbol name="continuous-on" xml:id="continuous-on.def.sym" about="#continuous-on.def.sym" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"/>
+ <omdoc:definition for="continuousfunctions continuous continuous-on" xml:id="continuous.definition6" about="#continuous.definition6" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)">
+ <omdoc:CMP xml:id="continuous.definition6.CMP1" about="#continuous.definition6.CMP1" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="continuous.definition6.CMP1.p1">A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <omdoc:idx xml:id="continuous.definition6.CMP1.p1.idx2" about="#continuous.definition6.CMP1.p1.idx2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:idt xml:id="continuous.definition6.CMP1.p1.idx2.idt1" about="#continuous.definition6.CMP1.p1.idx2.idt1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.definition6.CMP1.p1.idx2.idt1.term1" about="#continuous.definition6.CMP1.p1.idx2.idt1.term1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)">continuous</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="continuous.definition6.CMP1.p1.idx2.ide2" about="#continuous.definition6.CMP1.p1.idx2.ide2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:idp>continuous</omdoc:idp></omdoc:ide></omdoc:idx> at
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="&#x3F5;"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="&#x3B4;"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that
+<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="&#x3F5;"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="&#x3B4;"/></om:OMA></om:OMOBJ>. It is called
+<omdoc:idx xml:id="continuous.definition6.CMP1.p1.idx8" about="#continuous.definition6.CMP1.p1.idx8" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:idt xml:id="continuous.definition6.CMP1.p1.idx8.idt1" about="#continuous.definition6.CMP1.p1.idx8.idt1" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:term cd="continuous" name="continuous-on" role="definiendum" xml:id="continuous.definition6.CMP1.p1.idx8.idt1.term1" about="#continuous.definition6.CMP1.p1.idx8.idt1.term1" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)">continuous on</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="continuous.definition6.CMP1.p1.idx8.ide2" about="#continuous.definition6.CMP1.p1.idx8.ide2" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:idp>continuous</omdoc:idp><omdoc:idp>on</omdoc:idp></omdoc:ide></omdoc:idx> a set <om:OMOBJ><om:OMA><om:OMS cd="functions" name="sseteq"/><om:OMV name="S"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff is is continous at all
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMV name="S"/></om:OMA></om:OMOBJ>, the set of all such functions is denoted with <om:OMOBJ><om:OMA><om:OMS cd="continuous" name="continuousfunctions"/><om:OMV name="S"/><om:OMV name="T"/></om:OMA></om:OMOBJ>,
+if <om:OMOBJ><om:OMA><om:OMS cd="functions" name="sseteq"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="S"/></om:OMA><om:OMV name="T"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP>
+ </omdoc:definition>
+ </theory>
+ </omdoc:omgroup>
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms
new file mode 100644
index 00000000000..6d42d0f52a6
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms
@@ -0,0 +1,6 @@
+\begin{module}[id=continuous]%
+\importmodule[\backmods{functions}]{functions}%
+\importmodule[\backmods{reals}]{reals}%
+\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}%
+\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}%
+\end{module}%
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex
new file mode 100644
index 00000000000..96a8edd9123
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex
@@ -0,0 +1,20 @@
+\begin{omgroup}[id=sec.contfuncs]{Continuous Functions}
+\begin{module}[id=continuous]
+\importmodule[\backmods{functions}]{functions}
+\importmodule[\backmods{reals}]{reals}
+\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}
+\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}
+\begin{definition}[for=continuousfunctions]
+ A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defi{continuous}} at
+ $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that
+ $\absval{f(x)-f(y)}<\epsilon$ for all $\absval{x-y}<\delta$. It is called
+ {\defii{continuous}{on}} a set $\sseteq{S}\RealNumbers$, iff is is continous at all
+ $\inset{x}S$, the set of all such functions is denoted with $\continuousfunctions{S}T$,
+ if $\sseteq{f(S)}T$.
+\end{definition}
+\end{module}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "paper"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
new file mode 100644
index 00000000000..72cd7588bfd
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
@@ -0,0 +1,48 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <omdoc:omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">
+ <omdoc:metadata xml:id="sec.differentiable.metadata1" about="#sec.differentiable.metadata1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)">
+ <dc:title xml:id="sec.differentiable.metadata1.title1" about="#sec.differentiable.metadata1.title1" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">Differentiable Functions</dc:title>
+ </omdoc:metadata>
+ <theory xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)">
+ <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
+ <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/>
+ <omdoc:imports from="./continuous.omdoc#continuous" xml:id="differentiable.imports1" about="#differentiable.imports1" stex:srcref="differentiable.tex#textrange(from=3;0,to=3;37)"/>
+ <omdoc:symbol name="difffunctions" xml:id="difffunctions.sym" about="#difffunctions.sym" stex:srcref="differentiable.tex#textrange(from=4;1,to=4;48)"/>
+ <omdoc:notation cd="differentiable" name="difffunctions">
+ <omdoc:prototype>
+ <om:OMA>
+ <om:OMS cd="differentiable" cr="fun" name="difffunctions"/>
+ <omdoc:expr name="arg1"/>
+ <omdoc:expr name="arg2"/>
+ </om:OMA>
+ </omdoc:prototype>
+ <omdoc:rendering>
+ <m:mrow>
+ <m:msup>
+ <m:mi mathvariant="script">C</m:mi>
+ <m:mn>1</m:mn>
+ </m:msup>
+ <m:mo>&#x2062;</m:mo>
+ <m:mfenced open="(" close=")">
+ <m:mrow>
+ <render name="arg1"/>
+ <m:mo>,</m:mo>
+ <render name="arg2"/>
+ </m:mrow>
+ </m:mfenced>
+ </m:mrow>
+ </omdoc:rendering>
+ </omdoc:notation>
+ <omdoc:symbol name="differentiable" xml:id="differentiable.def.sym" about="#differentiable.def.sym" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"/>
+ <omdoc:definition for="differentiable" xml:id="differentiable.definition4" about="#differentiable.definition4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
+ <omdoc:CMP xml:id="differentiable.definition4.CMP1" about="#differentiable.definition4.CMP1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="differentiable.definition4.CMP1.p1">A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <omdoc:idx xml:id="differentiable.definition4.CMP1.p1.idx2" about="#differentiable.definition4.CMP1.p1.idx2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:idt xml:id="differentiable.definition4.CMP1.p1.idx2.idt1" about="#differentiable.definition4.CMP1.p1.idx2.idt1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.definition4.CMP1.p1.idx2.idt1.term1" about="#differentiable.definition4.CMP1.p1.idx2.idt1.term1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)">differentiable</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="differentiable.definition4.CMP1.p1.idx2.ide2" about="#differentiable.definition4.CMP1.p1.idx2.ide2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:idp>differentiable</omdoc:idp></omdoc:ide></omdoc:idx> at
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="&#x3F5;"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="&#x3B4;"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that
+<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="rfrac"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="&#x3F5;"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="&#x3B4;"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP>
+ </omdoc:definition>
+ </theory>
+ </omdoc:omgroup>
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms
new file mode 100644
index 00000000000..cb2122c1064
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms
@@ -0,0 +1,5 @@
+\begin{module}[id=differentiable]%
+\importmodule[continuous]{continuous}%
+\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}%
+\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}%
+\end{module}%
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex
new file mode 100644
index 00000000000..fca1c7fe252
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex
@@ -0,0 +1,16 @@
+\begin{omgroup}[id=sec.differentiable]{Differentiable Functions}
+\begin{module}[id=differentiable]
+\importmodule[continuous]{continuous}
+\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}
+\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}
+\begin{definition}
+ A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defi{differentiable}} at
+ $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that
+ $\rfrac{\absval{f(x)-f(y)}}{\absval{x-y}}<\epsilon$ for all $\absval{x-y}<\delta$.
+\end{definition}
+\end{module}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "paper"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc
new file mode 100644
index 00000000000..a4fe8c85f96
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc
@@ -0,0 +1,145 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <omdoc:omgroup layout="sectioning" xml:id="intro" about="#intro" stex:srcref="intro.tex#textrange(from=1;0,to=91;13)"><omdoc:metadata xml:id="intro.metadata1" about="#intro.metadata1" stex:srcref="intro.tex#textrange(from=1;0,to=1;39)"><dc:title xml:id="intro.metadata1.title1" about="#intro.metadata1.title1" stex:srcref="intro.tex#textrange(from=1;0,to=91;13)">Introduction</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.p1">
+ <p style="" class="p" id="intro.p1.p1">We will show how to semantically mark up mathematics in the sTeX
+format&#xA0;<cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:ulsmf08"/>]</cite> and how to convert it into
+OMDoc&#xA0;<cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:omdoc1.3"/>]</cite>.</p>
+ </div>
+
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.p2">
+ <p style="" class="p" id="intro.p2.p1">We have some mathematical material in <omdoc:oref href="#sec.math"/> which will serve as example
+content. In the rest of this section we will explain the setup of the example and
+present an approach to automation of the OMDoc conversion via Unix Makefiles.</p>
+ </div>
+<omdoc:omgroup layout="sectioning" xml:id="intro.omgroup4" about="#intro.omgroup4" stex:srcref="intro.tex#textrange(from=9;0,to=43;13)"><omdoc:metadata xml:id="intro.omgroup4.metadata1" about="#intro.omgroup4.metadata1" stex:srcref="intro.tex#textrange(from=9;0,to=42;12)"><dc:title xml:id="intro.omgroup4.metadata1.title1" about="#intro.omgroup4.metadata1.title1" stex:srcref="intro.tex#textrange(from=9;0,to=43;13)">The Setup</dc:title></omdoc:metadata><theory xml:id="setup" about="#setup" stex:srcref="intro.tex#textrange(from=10;0,to=42;12)"><omdoc:symbol name="target" xml:id="target.def.sym" about="#target.def.sym" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"/><omdoc:symbol name="module" xml:id="module.def.sym" about="#module.def.sym" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"/><omdoc:definition for="target module" xml:id="setup.definition3" about="#setup.definition3" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"><omdoc:CMP xml:id="setup.definition3.CMP1" about="#setup.definition3.CMP1" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.definition3.CMP1.p1">The source of this note is contained in the file <span style="" class="text typewriter">paper.tex</span>. We call it
+the <omdoc:idx xml:id="setup.definition3.CMP1.p1.idx1" about="#setup.definition3.CMP1.p1.idx1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:idt xml:id="setup.definition3.CMP1.p1.idx1.idt1" about="#setup.definition3.CMP1.p1.idx1.idt1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:term cd="setup" name="target" role="definiendum" xml:id="setup.definition3.CMP1.p1.idx1.idt1.term1" about="#setup.definition3.CMP1.p1.idx1.idt1.term1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)">target</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.definition3.CMP1.p1.idx1.ide2" about="#setup.definition3.CMP1.p1.idx1.ide2" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:idp>target</omdoc:idp></omdoc:ide></omdoc:idx>, since formatting it with LaTeX will generate the main
+document. The content in <omdoc:oref href="#sec.contfuncs"/> and <omdoc:oref href="#sec.differentiable"/>
+comes from included files <span style="" class="text typewriter">continuous.tex</span> and
+<span style="" class="text typewriter">differentiable.tex</span>, we will call them <omdoc:idx xml:id="setup.definition3.CMP1.p1.idx2" about="#setup.definition3.CMP1.p1.idx2" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:idt xml:id="setup.definition3.CMP1.p1.idx2.idt1" about="#setup.definition3.CMP1.p1.idx2.idt1" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:term cd="setup" name="module" role="definiendum" xml:id="setup.definition3.CMP1.p1.idx2.idt1.term1" about="#setup.definition3.CMP1.p1.idx2.idt1.term1" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)">module</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.definition3.CMP1.p1.idx2.ide2" about="#setup.definition3.CMP1.p1.idx2.ide2" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:idp>module</omdoc:idp></omdoc:ide></omdoc:idx>s, since they may
+be used (i.e. included) by other target documents as well.</p>
+ </omdoc:CMP></omdoc:definition><omdoc:omtext xml:id="setup.omtext4" about="#setup.omtext4" stex:srcref="intro.tex#textrange(from=20;1,to=31;14)"><omdoc:CMP xml:id="setup.omtext4.CMP1" about="#setup.omtext4.CMP1" stex:srcref="intro.tex#textrange(from=20;1,to=31;14)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.omtext4.CMP1.p1">As the modules are built for inclusion into other documents, they are not
+self-contained:</p>
+
+ <ol xmlns="http://www.w3.org/1999/xhtml" class="enumerate" id="I5">
+
+ <li class="item" id="I5.i1">
+
+ <div class="para" id="I5.i1.p1">
+ <p style="" class="p" id="I5.i1.p1.p1">they do not contain a LaTeX preamble and
+<code class="verbatim typewriter" style="">\begin</code>/<code class="verbatim typewriter" style="">\end{document}</code>, and</p>
+ </div>
+
+ </li>
+
+ <li class="item" id="I5.i2">
+
+ <div class="para" id="I5.i2.p1">
+ <p style="" class="p" id="I5.i2.p1.p1">they may depend on other modules, whose semantic macros they need to include,</p>
+ </div>
+
+ </li>
+
+ <li class="item" id="I5.i3">
+
+ <div class="para" id="I5.i3.p1">
+ <p style="" class="p" id="I5.i3.p1.p1">to facilitate this a module file <span style="" class="text typewriter">modf.tex</span> comes with a &#x201C;semantic
+macro short form&#x201D; <span style="" class="text typewriter">modf.sms</span> that can be included without generating
+output in the PDF.</p>
+ </div>
+
+ </li>
+
+ </ol>
+ </omdoc:CMP></omdoc:omtext><omdoc:omtext xml:id="setup.omtext5" about="#setup.omtext5" stex:srcref="intro.tex#textrange(from=33;1,to=41;14)"><omdoc:CMP xml:id="setup.omtext5.CMP1" about="#setup.omtext5.CMP1" stex:srcref="intro.tex#textrange(from=33;1,to=41;14)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.omtext5.CMP1.p1">This will have consequences for the automation. Concretely, the module on
+differentiable functions in <omdoc:oref href="#sec.differentiable"/> depends on that for continuous
+functions in <omdoc:oref href="#sec.contfuncs"/>. Both of them depend on modules for real numbers,
+sets and functions that we do not want to cover in this note. <span style="" class="text inlinedef">We assume
+that they have already been marked up with the same methods as we describe here and
+are accessible to us and call them <omdoc:idx xml:id="setup.omtext5.CMP1.p1.idx1" about="#setup.omtext5.CMP1.p1.idx1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:idt xml:id="setup.omtext5.CMP1.p1.idx1.idt1" about="#setup.omtext5.CMP1.p1.idx1.idt1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:term cd="setup" name="background-module" role="definiendum" xml:id="setup.omtext5.CMP1.p1.idx1.idt1.term1" about="#setup.omtext5.CMP1.p1.idx1.idt1.term1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)">background module</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.omtext5.CMP1.p1.idx1.ide2" about="#setup.omtext5.CMP1.p1.idx1.ide2" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:idp>background</omdoc:idp><omdoc:idp>module</omdoc:idp></omdoc:ide></omdoc:idx>s</span>. In our setup we
+keep them in the subdirectory <span style="" class="text typewriter">background</span>.</p>
+ </omdoc:CMP></omdoc:omtext></theory></omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="intro.omgroup5" about="#intro.omgroup5" stex:srcref="intro.tex#textrange(from=45;0,to=53;13)"><omdoc:metadata xml:id="intro.omgroup5.metadata1" about="#intro.omgroup5.metadata1" stex:srcref="intro.tex#textrange(from=45;0,to=45;51)"><dc:title xml:id="intro.omgroup5.metadata1.title1" about="#intro.omgroup5.metadata1.title1" stex:srcref="intro.tex#textrange(from=45;0,to=53;13)">Formatting and OMDoc conversion</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup5.p1">
+ <p style="" class="p" id="intro.omgroup5.p1.p1">To format an sTeX document &#x2014; i.e. to produce a PDF file from the sTeX marked-up
+sources &#x2014; we only need to run the <span style="" class="text typewriter">pdflatex</span> program over the target document
+&#x2014; assuming that all modules (regular or background) have semantic macro short forms.</p>
+ </div>
+
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup5.p2">
+ <p style="" class="p" id="intro.omgroup5.p2.p1">To convert an sTeX document to OMDoc, we need to run <span style="" class="text typewriter">latexml</span> over it,
+post-process the result by <span style="" class="text typewriter">latexmlpost</span>, and finally massage away all remaining
+LaTeXML islands with a stylesheet, see &#xA0;<cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:ssmtl*"/>]</cite> for details.</p>
+ </div>
+</omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="intro.omgroup6" about="#intro.omgroup6" stex:srcref="intro.tex#textrange(from=55;0,to=89;13)"><omdoc:metadata xml:id="intro.omgroup6.metadata1" about="#intro.omgroup6.metadata1" stex:srcref="intro.tex#textrange(from=55;0,to=55;42)"><dc:title xml:id="intro.omgroup6.metadata1.title1" about="#intro.omgroup6.metadata1.title1" stex:srcref="intro.tex#textrange(from=55;0,to=89;13)">Makefile-based Automation</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p1">
+ <p style="" class="p" id="intro.omgroup6.p1.p1">As the conversion to OMDoc is rather complex (the programs in the three steps take a
+variety of options), we support an automation by Unix Makefiles. There are three main
+<span style="" class="text typewriter">make</span> targets.</p>
+ </div>
+
+ <dl xmlns="http://www.w3.org/1999/xhtml" class="description" id="I6">
+
+ <dt class="item" id="I6.i1"><span class="tag"><span style="" class="text typewriter">make omdoc</span></span></dt>
+ <dd class="item">
+ <div class="para" id="I6.i1.p1">
+ <p style="" class="p" id="I6.i1.p1.p1">will trigger the OMDoc transformation of the target
+document.</p>
+ </div>
+</dd>
+
+ <dt class="item" id="I6.i2"><span class="tag"><span style="" class="text typewriter">make mods</span></span></dt>
+ <dd class="item">
+ <div class="para" id="I6.i2.p1">
+ <p style="" class="p" id="I6.i2.p1.p1">will trigger the OMDoc transformation of the modules.</p>
+ </div>
+</dd>
+
+ <dt class="item" id="I6.i3"><span class="tag"><span style="" class="text typewriter">make pdf</span></span></dt>
+ <dd class="item">
+ <div class="para" id="I6.i3.p1">
+ <p style="" class="p" id="I6.i3.p1.p1">will trigger the LaTeX formatting the target</p>
+ </div>
+</dd>
+
+ <dt class="item" id="I6.i4"><span class="tag"><span style="" class="text typewriter">make mpdf</span></span></dt>
+ <dd class="item">
+ <div class="para" id="I6.i4.p1">
+ <p style="" class="p" id="I6.i4.p1.p1">will trigger the LaTeX formatting the modules</p>
+ </div>
+</dd>
+
+ <dt class="item" id="I6.i5"><span class="tag"><span style="" class="text typewriter">make sms</span></span></dt>
+ <dd class="item">
+ <div class="para" id="I6.i5.p1">
+ <p style="" class="p" id="I6.i5.p1.p1">will trigger the re-generation of all semantic macro short
+forms of modules (this is implicitly called in all the other <span style="" class="text typewriter">make</span> targets)</p>
+ </div>
+</dd>
+
+ </dl>
+
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p2">
+ <p style="" class="p" id="intro.omgroup6.p2.p1">To use this, we need to set up a <span style="" class="text typewriter">Makefile</span> of the following form:</p>
+ </div>
+
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p3">
+ <p style="" class="p" id="intro.omgroup6.p3.p1">The variable <span style="" class="text listing ">STEXDIR}}<span style="" class="text lstspace">&#xA0;</span>has<span style="" class="text lstspace">&#xA0;</span>to<span style="" class="text lstspace">&#xA0;</span>be<span style="" class="text lstspace">&#xA0;</span>set<span style="" class="text lstspace">&#xA0;</span>to<span style="" class="text lstspace">&#xA0;</span>the<span style="" class="text lstspace">&#xA0;</span>main<span style="" class="text lstspace">&#xA0;</span>directory<span style="" class="text lstspace">&#xA0;</span>of<span style="" class="text lstspace">&#xA0;</span>the</span>sTeX
+distribution. The variable <span style="" class="text listing ">TARGET}}<span style="" class="text lstspace">&#xA0;</span>specifies<span style="" class="text lstspace">&#xA0;</span>the<span style="" class="text lstspace">&#xA0;</span>target<span style="" class="text lstspace">&#xA0;</span>document<span style="" class="text lstspace">&#xA0;</span>(all<span style="" class="text lstspace">&#xA0;</span>other</span><span style="" class="text typewriter">*.tex</span> files that are not excluded in the <span style="" class="text listing ">BUTFILES}}<span style="" class="text lstspace">&#xA0;</span>variables<span style="" class="text lstspace">&#xA0;</span>are<span style="" class="text lstspace">&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;</span>considered<span style="" class="text lstspace">&#xA0;</span>as<span style="" class="text lstspace">&#xA0;</span>modules).<span style="" class="text lstspace">&#xA0;</span>Here,<span style="" class="text lstspace">&#xA0;</span>the</span><span style="" class="text typewriter">background</span> directory for convenience. The
+<span style="" class="text listing ">MODSLIBDIR}}<span style="" class="text lstspace">&#xA0;</span>specifies<span style="" class="text lstspace">&#xA0;</span>the<span style="" class="text lstspace">&#xA0;</span>location<span style="" class="text lstspace">&#xA0;</span>of<span style="" class="text lstspace">&#xA0;</span>the<span style="" class="text lstspace">&#xA0;</span>prefix<span style="" class="text lstspace">&#xA0;</span>and<span style="" class="text lstspace">&#xA0;</span>postfix<span style="" class="text lstspace">&#xA0;</span>files</span><span style="" class="text typewriter">pre.tex</span> and <span style="" class="text typewriter">post.tex</span> that will be prepended and appended to the
+modules to make them into complete files TeX files that can be converted. The last
+three lines just include the Makefiles from the sTeX distribution and configure the
+default make target (<span style="" class="text typewriter">make all</span>) to be produce the pdf version</p>
+ </div>
+
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p4">
+ <p style="" class="p" id="intro.omgroup6.p4.p1">Note that in the directory <span style="" class="text typewriter">background</span> we have a very similar Makefile as
+above. The only differences are that the variable <span style="" class="text listing ">STEXDIR}}<span style="" class="text lstspace">&#xA0;</span>is<span style="" class="text lstspace">&#xA0;</span>adapted<span style="" class="text lstspace">&#xA0;</span>and<span style="" class="text lstspace">&#xA0;&#xA0;&#xA0;&#xA0;&#xA0;</span>that<span style="" class="text lstspace">&#xA0;</span>the</span><span style="" class="text listing ">BUTFILE}}<span style="" class="text lstspace">&#xA0;</span>variable<span style="" class="text lstspace">&#xA0;</span>is<span style="" class="text lstspace">&#xA0;</span>set<span style="" class="text lstspace">&#xA0;</span>to</span><span style="" class="text typewriter">pre.tex</span> and
+<span style="" class="text typewriter">post.tex</span>, so that they are not converted. In the directory
+<span style="" class="text typewriter">background</span> we have followed good practice by establishing a phony</p>
+ </div>
+</omdoc:omgroup></omdoc:omgroup>
+</omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms b/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms
new file mode 100644
index 00000000000..156422aefd8
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms
@@ -0,0 +1,2 @@
+ \begin{module}[id=setup]%
+\end{module}%
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex b/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex
new file mode 100644
index 00000000000..8faed56d132
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex
@@ -0,0 +1,96 @@
+\begin{omgroup}[id=intro]{Introduction}
+ We will show how to semantically mark up mathematics in the {\sTeX}
+ format~\cite{Kohlhase:ulsmf08} and how to convert it into
+ {\omdoc}~\cite{Kohlhase:OMDoc1.3}.
+
+ We have some mathematical material in {\sref{sec.math}} which will serve as example
+ content. In the rest of this section we will explain the setup of the example and
+ present an approach to automation of the {\omdoc} conversion via Unix Makefiles.
+ \begin{omgroup}{The Setup}
+ \begin{module}[id=setup]
+ \begin{definition}[display=flow]
+ The source of this note is contained in the file {\texttt{paper.tex}}. We call it
+ the {\defi{target}}, since formatting it with {\LaTeX} will generate the main
+ document. The content in {\sref{sec.contfuncs}} and {\sref{sec.differentiable}}
+ comes from included files {\texttt{continuous.tex}} and
+ {\texttt{differentiable.tex}}, we will call them {\defi{module}s}, since they may
+ be used (i.e. included) by other target documents as well.
+ \end{definition}
+
+ \begin{omtext}
+ As the modules are built for inclusion into other documents, they are not
+ self-contained:
+ \begin{enumerate}
+ \item they do not contain a {\LaTeX} preamble and
+ \verb|\begin|/\verb|\end{document}|, and
+ \item they may depend on other modules, whose semantic macros they need to include,
+ \item to facilitate this a module file {\texttt{modf.tex}} comes with a ``semantic
+ macro short form'' {\texttt{modf.sms}} that can be included without generating
+ output in the PDF.
+ \end{enumerate}
+ \end{omtext}
+
+ \begin{omtext}
+ This will have consequences for the automation. Concretely, the module on
+ differentiable functions in {\sref{sec.differentiable}} depends on that for continuous
+ functions in {\sref{sec.contfuncs}}. Both of them depend on modules for real numbers,
+ sets and functions that we do not want to cover in this note. \inlinedef{We assume
+ that they have already been marked up with the same methods as we describe here and
+ are accessible to us and call them {\defii{background}{module}s}}. In our setup we
+ keep them in the subdirectory {\texttt{background}}.
+ \end{omtext}
+\end{module}
+\end{omgroup}
+
+\begin{omgroup}{Formatting and {\omdoc} conversion}
+ To format an {\sTeX} document --- i.e. to produce a PDF file from the {\sTeX} marked-up
+ sources --- we only need to run the {\texttt{pdflatex}} program over the target document
+ --- assuming that all modules (regular or background) have semantic macro short forms.
+
+ To convert an {\sTeX} document to {\omdoc}, we need to run {\texttt{latexml}} over it,
+ post-process the result by {\texttt{latexmlpost}}, and finally massage away all remaining
+ {\latexml} islands with a stylesheet, see ~\cite{Kohlhase:ssmtl*} for details.
+\end{omgroup}
+
+\begin{omgroup}{Makefile-based Automation}
+ As the conversion to {\omdoc} is rather complex (the programs in the three steps take a
+ variety of options), we support an automation by Unix Makefiles. There are three main
+ {\texttt{make}} targets.
+
+ \begin{description}
+ \item[{\texttt{make omdoc}}] will trigger the {\omdoc} transformation of the target
+ document.
+ \item[{\texttt{make mods}}] will trigger the {\omdoc} transformation of the modules.
+ \item[{\texttt{make pdf}}] will trigger the {\LaTeX} formatting the target
+ \item[{\texttt{make mpdf}}] will trigger the {\LaTeX} formatting the modules
+ \item[{\texttt{make sms}}] will trigger the re-generation of all semantic macro short
+ forms of modules (this is implicitly called in all the other {\texttt{make}} targets)
+ \end{description}
+ To use this, we need to set up a {\texttt{{Makefile}}} of the following form:
+
+\lstset{columns=flexible,frame=lines,numbers=left,stepnumber=2,numberstyle=\tiny,basicstyle=\small}
+\lstinputlisting[language=make]{Makefile}
+
+ The variable {\lstinline{STEXDIR}} has to be set to the main directory of the {\sTeX}
+ distribution. The variable {\lstinline{TARGET}} specifies the target document (all other
+ {\texttt{*.tex}} files that are not excluded in the {\lstinline{BUTFILES}} variables are
+ considered as modules). Here, the {\texttt{background}} directory for convenience. The
+ {\lstinline{MODSLIBDIR}} specifies the location of the prefix and postfix files
+ {\texttt{pre.tex}} and {\texttt{post.tex}} that will be prepended and appended to the
+ modules to make them into complete files {\TeX} files that can be converted. The last
+ three lines just include the Makefiles from the {\sTeX} distribution and configure the
+ default make target (\texttt{make all}) to be produce the pdf version
+
+ Note that in the directory {\texttt{background}} we have a very similar Makefile as
+ above. The only differences are that the variable {\lstinline{STEXDIR}} is adapted and
+ that the {\lstinline{BUTFILE}} variable is set to {\texttt{pre.tex}} and
+ {\texttt{post.tex}}, so that they are not converted. In the directory
+ {\texttt{background}} we have followed good practice by establishing a phony
+\end{omgroup}
+
+\end{omgroup}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
new file mode 100644
index 00000000000..abb6db85073
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
@@ -0,0 +1,48 @@
+<?xml version="1.0"?>
+<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.-->
+<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="p1">
+ <p style="" class="p" id="p1.p1"><omdoc:oref class="expandable" href="intro.omdoc"/></p>
+ </div>
+<omdoc:omgroup layout="sectioning" xml:id="sec.math" about="#sec.math" stex:srcref="paper.tex#textrange(from=40;0,to=133;13)"><omdoc:metadata xml:id="sec.math.metadata1" about="#sec.math.metadata1" stex:srcref="paper.tex#textrange(from=40;0,to=45;13)"><dc:title xml:id="sec.math.metadata1.title1" about="#sec.math.metadata1.title1" stex:srcref="paper.tex#textrange(from=40;0,to=133;13)">Mathematical Content</dc:title></omdoc:metadata><omdoc:omgroup layout="sectioning" xml:id="sec.math.omgroup2" about="#sec.math.omgroup2" stex:srcref="paper.tex#textrange(from=41;0,to=45;13)"><omdoc:metadata xml:id="sec.math.omgroup2.metadata1" about="#sec.math.omgroup2.metadata1" stex:srcref="paper.tex#textrange(from=41;0,to=41;27)"><dc:title xml:id="sec.math.omgroup2.metadata1.title1" about="#sec.math.omgroup2.metadata1.title1" stex:srcref="paper.tex#textrange(from=41;0,to=45;13)">Calculus</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="sec.math.omgroup2.p1">
+ <p style="" class="p" id="sec.math.omgroup2.p1.p1">We present some standard mathematical definitions, here from calculus.
+<omdoc:oref class="expandable" href="continuous.omdoc"/><omdoc:oref class="expandable" href="differentiable.omdoc"/></p>
+ </div>
+</omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="sec.matha" about="#sec.matha" stex:srcref="paper.tex#textrange(from=47;0,to=132;13)"><omdoc:metadata xml:id="sec.matha.metadata1" about="#sec.matha.metadata1" stex:srcref="paper.tex#textrange(from=47;0,to=47;67)"><dc:title xml:id="sec.matha.metadata1.title1" about="#sec.matha.metadata1.title1" stex:srcref="paper.tex#textrange(from=47;0,to=132;13)">A Theory Graph for Elementary Algebra</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="sec.matha.p1">
+ <p style="" class="p" id="sec.matha.p1.p1">Here we show an example for more advanced theory graph manipulations, in particular
+imports via morphisms.
+</p>
+ </div>
+<theory xml:id="magma" about="#magma" stex:srcref="paper.tex#textrange(from=51;0,to=60;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="../background/functions.omdoc#functions" xml:id="magma.imports1" about="#magma.imports1" stex:srcref="paper.tex#textrange(from=52;0,to=52;48)"/><omdoc:symbol name="magbase" xml:id="magbase.sym" about="#magbase.sym" stex:srcref="paper.tex#textrange(from=53;1,to=53;22)"/><omdoc:notation cd="magma" name="magbase"><omdoc:prototype><om:OMS cd="magma" name="magbase"/></omdoc:prototype><omdoc:rendering><m:mi>G</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="magmaop" xml:id="magmaop.sym" about="#magmaop.sym" stex:srcref="paper.tex#textrange(from=54;0,to=54;41)"/><omdoc:notation cd="magma" name="magmaop"><omdoc:prototype><om:OMS cd="magma" name="magmaop"/></omdoc:prototype><omdoc:rendering><m:mo>&#x2218;</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="magma" name="magmaop"><omdoc:prototype><om:OMA><om:OMS cd="magma" cr="fun" name="magmaop"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">&#x2218;</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="magma" xml:id="magma.def.sym" about="#magma.def.sym" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)"/><omdoc:definition for="magma" xml:id="magma.def" about="#magma.def" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)"><omdoc:CMP xml:id="magma.def.CMP1" about="#magma.def.CMP1" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="magma.def.CMP1.p1">A <omdoc:idx xml:id="magma.def.CMP1.p1.idx1" about="#magma.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:idt xml:id="magma.def.CMP1.p1.idx1.idt1" about="#magma.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:term cd="magma" name="magma" role="definiendum" xml:id="magma.def.CMP1.p1.idx1.idt1.term1" about="#magma.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)">magma</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="magma.def.CMP1.p1.idx1.ide2" about="#magma.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:idp>magma</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ>, such that <om:OMOBJ><om:OMS cd="magma" name="magbase"/></om:OMOBJ> is
+closed under the operation <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMS cd="magma" name="magmaop"/><om:OMA><om:OMS cd="functions" name="cart"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magbase"/></om:OMA><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP></omdoc:definition></theory><theory xml:id="semigroup" about="#semigroup" stex:srcref="paper.tex#textrange(from=62;0,to=68;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#magma" xml:id="semigroup.imports1" about="#semigroup.imports1" stex:srcref="paper.tex#textrange(from=63;0,to=63;22)"/><omdoc:symbol name="semigroup" xml:id="semigroup.def.sym" about="#semigroup.def.sym" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)"/><omdoc:definition for="semigroup" xml:id="semigroup.def" about="#semigroup.def" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)"><omdoc:CMP xml:id="semigroup.def.CMP1" about="#semigroup.def.CMP1" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="semigroup.def.CMP1.p1">A <omdoc:term cd="magma" name="magma" xml:id="semigroup.def.CMP1.p1.term1" about="#semigroup.def.CMP1.p1.term1" stex:srcref="paper.tex#textrange(from=64;63,to=65;26)">magma</omdoc:term><om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ>, is called a <omdoc:idx xml:id="semigroup.def.CMP1.p1.idx3" about="#semigroup.def.CMP1.p1.idx3" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:idt xml:id="semigroup.def.CMP1.p1.idx3.idt1" about="#semigroup.def.CMP1.p1.idx3.idt1" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:term cd="semigroup" name="semigroup" role="definiendum" xml:id="semigroup.def.CMP1.p1.idx3.idt1.term1" about="#semigroup.def.CMP1.p1.idx3.idt1.term1" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)">semigroup</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="semigroup.def.CMP1.p1.idx3.ide2" about="#semigroup.def.CMP1.p1.idx3.ide2" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:idp>semigroup</omdoc:idp></omdoc:ide></omdoc:idx>, iff
+<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ> is associative.</p>
+ </omdoc:CMP></omdoc:definition></theory><theory xml:id="monoid" about="#monoid" stex:srcref="paper.tex#textrange(from=70;0,to=84;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#semigroup" xml:id="monoid.imports1" about="#monoid.imports1" stex:srcref="paper.tex#textrange(from=71;0,to=71;26)"/><omdoc:symbol name="monneut" xml:id="monneut.sym" about="#monneut.sym" stex:srcref="paper.tex#textrange(from=72;1,to=72;22)"/><omdoc:notation cd="monoid" name="monneut"><omdoc:prototype><om:OMS cd="monoid" name="monneut"/></omdoc:prototype><omdoc:rendering><m:mi>e</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="noneut" xml:id="noneut.sym" about="#noneut.sym" stex:srcref="paper.tex#textrange(from=73;1,to=73;27)"/><omdoc:notation cd="monoid" name="noneut"><omdoc:prototype><om:OMA><om:OMS cd="monoid" cr="fun" name="noneut"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:msup><render name="arg1"/><m:mo>*</m:mo></m:msup></omdoc:rendering></omdoc:notation><omdoc:symbol name="monoid" xml:id="monoid.def.sym" about="#monoid.def.sym" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"/><omdoc:symbol name="neutral-element" xml:id="neutral-element.def.sym" about="#neutral-element.def.sym" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"/><omdoc:definition for="neutral-element monoid" xml:id="monoid.def" about="#monoid.def" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"><omdoc:CMP xml:id="monoid.def.CMP1" about="#monoid.def.CMP1" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="monoid.def.CMP1.p1">A <omdoc:idx xml:id="monoid.def.CMP1.p1.idx1" about="#monoid.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:idt xml:id="monoid.def.CMP1.p1.idx1.idt1" about="#monoid.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:term cd="monoid" name="monoid" role="definiendum" xml:id="monoid.def.CMP1.p1.idx1.idt1.term1" about="#monoid.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)">monoid</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="monoid.def.CMP1.p1.idx1.ide2" about="#monoid.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:idp>monoid</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ>, such that
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ> is a <omdoc:term cd="semigroup" name="semigroup" xml:id="monoid.def.CMP1.p1.term4" about="#monoid.def.CMP1.p1.term4" stex:srcref="paper.tex#textrange(from=75;20,to=76;65)">semigroup</omdoc:term> and <om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ> is a
+<omdoc:idx xml:id="monoid.def.CMP1.p1.idx6" about="#monoid.def.CMP1.p1.idx6" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:idt xml:id="monoid.def.CMP1.p1.idx6.idt1" about="#monoid.def.CMP1.p1.idx6.idt1" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:term cd="monoid" name="neutral-element" role="definiendum" xml:id="monoid.def.CMP1.p1.idx6.idt1.term1" about="#monoid.def.CMP1.p1.idx6.idt1.term1" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)">neutral element</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="monoid.def.CMP1.p1.idx6.ide2" about="#monoid.def.CMP1.p1.idx6.ide2" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:idp>neutral</omdoc:idp><omdoc:idp>element</omdoc:idp></omdoc:ide></omdoc:idx>, i.e. that <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="eq"/><om:OMA><om:OMS cd="magma" name="magmaop"/><om:OMV name="x"/><om:OMS cd="monoid" name="monneut"/></om:OMA><om:OMV name="x"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP></omdoc:definition><omdoc:definition xml:id="noneut.def" about="#noneut.def" stex:srcref="paper.tex#textrange(from=80;0,to=83;17)"><omdoc:CMP xml:id="noneut.def.CMP1" about="#noneut.def.CMP1" stex:srcref="paper.tex#textrange(from=80;0,to=83;17)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="noneut.def.CMP1.p1">In a monoid <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ>, we use denote the set
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="setst"/><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMV name="S"/></om:OMA><om:OMA><om:OMS cd="relation1" name="neq"/><om:OMV name="x"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMA></om:OMOBJ> with <om:OMOBJ><om:OMA><om:OMS cd="monoid" name="noneut"/><om:OMV name="S"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP></omdoc:definition></theory><theory xml:id="group" about="#group" stex:srcref="paper.tex#textrange(from=86;0,to=96;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#monoid" xml:id="group.imports1" about="#group.imports1" stex:srcref="paper.tex#textrange(from=87;0,to=87;23)"/><omdoc:symbol name="ginvOp" xml:id="ginvOp.sym" about="#ginvOp.sym" stex:srcref="paper.tex#textrange(from=88;1,to=88;21)"/><omdoc:notation cd="group" name="ginvOp"><omdoc:prototype><om:OMS cd="group" name="ginvOp"/></omdoc:prototype><omdoc:rendering><m:mi>i</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="ginv" xml:id="ginv.sym" about="#ginv.sym" stex:srcref="paper.tex#textrange(from=89;1,to=89;39)"/><omdoc:notation cd="group" name="ginv"><omdoc:prototype><om:OMA><om:OMS cd="group" cr="fun" name="ginv"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo cr="fun">i</m:mo><m:mrow><m:mo fence="true">(</m:mo><render name="arg1" precedence="-1000000"/><m:mo fence="true">)</m:mo></m:mrow></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="group" xml:id="group.def.sym" about="#group.def.sym" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"/><omdoc:symbol name="inverse" xml:id="inverse.def.sym" about="#inverse.def.sym" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"/><omdoc:definition for="group inverse" xml:id="group.def" about="#group.def" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"><omdoc:CMP xml:id="group.def.CMP1" about="#group.def.CMP1" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="group.def.CMP1.p1">A <omdoc:idx xml:id="group.def.CMP1.p1.idx1" about="#group.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:idt xml:id="group.def.CMP1.p1.idx1.idt1" about="#group.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:term cd="group" name="group" role="definiendum" xml:id="group.def.CMP1.p1.idx1.idt1.term1" about="#group.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)">group</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="group.def.CMP1.p1.idx1.ide2" about="#group.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:idp>group</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/><om:OMS cd="group" name="ginvOp"/></om:OMA></om:OMOBJ>, such that
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ> is a <omdoc:term cd="monoid" name="monoid" xml:id="group.def.CMP1.p1.term4" about="#group.def.CMP1.p1.term4" stex:srcref="paper.tex#textrange(from=91;22,to=92;68)">monoid</omdoc:term> and <om:OMOBJ><om:OMS cd="group" name="ginvOp"/></om:OMOBJ> acts as
+a <omdoc:idx xml:id="group.def.CMP1.p1.idx6" about="#group.def.CMP1.p1.idx6" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:idt xml:id="group.def.CMP1.p1.idx6.idt1" about="#group.def.CMP1.p1.idx6.idt1" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:term cd="group" name="inverse" role="definiendum" xml:id="group.def.CMP1.p1.idx6.idt1.term1" about="#group.def.CMP1.p1.idx6.idt1.term1" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)">inverse</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="group.def.CMP1.p1.idx6.ide2" about="#group.def.CMP1.p1.idx6.ide2" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:idp>inverse</omdoc:idp></omdoc:ide></omdoc:idx>, i.e. that <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="eq"/><om:OMA><om:OMS cd="magma" name="magmaop"/><om:OMV name="x"/><om:OMA><om:OMS cd="group" name="ginv"/><om:OMV name="x"/></om:OMA></om:OMA><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ> for all
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p>
+ </omdoc:CMP></omdoc:definition></theory><theory xml:id="cgroup" about="#cgroup" stex:srcref="paper.tex#textrange(from=98;0,to=104;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#group" xml:id="cgroup.imports1" about="#cgroup.imports1" stex:srcref="paper.tex#textrange(from=99;0,to=99;20)"/><omdoc:symbol name="commutative-group" xml:id="commutative-group.def.sym" about="#commutative-group.def.sym" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)"/><omdoc:definition for="commutative-group" xml:id="cgroup.def" about="#cgroup.def" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)"><omdoc:CMP xml:id="cgroup.def.CMP1" about="#cgroup.def.CMP1" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="cgroup.def.CMP1.p1">We call a <omdoc:term cd="group" name="group" xml:id="cgroup.def.CMP1.p1.term1" about="#cgroup.def.CMP1.p1.term1" stex:srcref="paper.tex#textrange(from=100;47,to=101;32)">group</omdoc:term><om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/><om:OMS cd="group" name="ginvOp"/></om:OMA></om:OMOBJ> a
+<omdoc:idx xml:id="cgroup.def.CMP1.p1.idx3" about="#cgroup.def.CMP1.p1.idx3" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:idt xml:id="cgroup.def.CMP1.p1.idx3.idt1" about="#cgroup.def.CMP1.p1.idx3.idt1" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:term cd="cgroup" name="commutative-group" role="definiendum" xml:id="cgroup.def.CMP1.p1.idx3.idt1.term1" about="#cgroup.def.CMP1.p1.idx3.idt1.term1" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)">commutative group</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="cgroup.def.CMP1.p1.idx3.ide2" about="#cgroup.def.CMP1.p1.idx3.ide2" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:idp>commutative</omdoc:idp><omdoc:idp>group</omdoc:idp></omdoc:ide></omdoc:idx>, iff <om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ> is commutative.</p>
+ </omdoc:CMP></omdoc:definition></theory><theory xml:id="ring" about="#ring" stex:srcref="paper.tex#textrange(from=106;0,to=131;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:symbol name="rbase" xml:id="rbase.sym" about="#rbase.sym" stex:srcref="paper.tex#textrange(from=107;1,to=107;18)"/><omdoc:notation cd="ring" name="rbase"><omdoc:prototype><om:OMS cd="ring" name="rbase"/></omdoc:prototype><omdoc:rendering><m:mi>R</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="rtimes" xml:id="rtimes.sym" about="#rtimes.sym" stex:srcref="paper.tex#textrange(from=108;0,to=108;37)"/><omdoc:notation cd="ring" name="rtimes"><omdoc:prototype><om:OMS cd="ring" name="rtimes"/></omdoc:prototype><omdoc:rendering><m:mo>&#x22C5;</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rtimes"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rtimes"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">&#x22C5;</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="rone" xml:id="rone.sym" about="#rone.sym" stex:srcref="paper.tex#textrange(from=110;1,to=110;17)"/><omdoc:notation cd="ring" name="rone"><omdoc:prototype><om:OMS cd="ring" name="rone"/></omdoc:prototype><omdoc:rendering><m:mn>1</m:mn></omdoc:rendering></omdoc:notation><omdoc:imports from="#monoid" xml:id="ring.imports4" about="#ring.imports4" stex:srcref="paper.tex#textrange(from=111;0,to=115;21)"><omdoc:morphism><omdoc:requation xml:id="ring.imports4.requation1" about="#ring.imports4.requation1" stex:srcref="paper.tex#textrange(from=112;1,to=112;26)">rbase<om:OMOBJ><om:OMS cd="magma" name="magbase"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports4.requation2" about="#ring.imports4.requation2" stex:srcref="paper.tex#textrange(from=113;1,to=113;31)">rtimesOp<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports4.requation3" about="#ring.imports4.requation3" stex:srcref="paper.tex#textrange(from=114;1,to=114;25)">rone<om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ></omdoc:requation></omdoc:morphism></omdoc:imports><omdoc:symbol name="rplus" xml:id="rplus.sym" about="#rplus.sym" stex:srcref="paper.tex#textrange(from=116;0,to=116;31)"/><omdoc:notation cd="ring" name="rplus"><omdoc:prototype><om:OMS cd="ring" name="rplus"/></omdoc:prototype><omdoc:rendering><m:mo>+</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rplus"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rplus"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">+</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="rzero" xml:id="rzero.sym" about="#rzero.sym" stex:srcref="paper.tex#textrange(from=118;1,to=118;18)"/><omdoc:notation cd="ring" name="rzero"><omdoc:prototype><om:OMS cd="ring" name="rzero"/></omdoc:prototype><omdoc:rendering><m:mn>0</m:mn></omdoc:rendering></omdoc:notation><omdoc:symbol name="rminus" xml:id="rminus.sym" about="#rminus.sym" stex:srcref="paper.tex#textrange(from=119;0,to=119;33)"/><omdoc:notation cd="ring" name="rminus"><omdoc:prototype><om:OMS cd="ring" name="rminus"/></omdoc:prototype><omdoc:rendering><m:mo>-</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rminus"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rminus"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo cr="fun">-</m:mo><m:mrow><m:mo fence="true">(</m:mo><render name="arg1" precedence="-1000000"/><m:mo fence="true">)</m:mo></m:mrow></m:mrow></omdoc:rendering></omdoc:notation><omdoc:imports from="#cgroup" xml:id="ring.imports8" about="#ring.imports8" stex:srcref="paper.tex#textrange(from=121;0,to=125;21)"><omdoc:morphism><omdoc:requation xml:id="ring.imports8.requation1" about="#ring.imports8.requation1" stex:srcref="paper.tex#textrange(from=122;1,to=122;28)">rplus<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports8.requation2" about="#ring.imports8.requation2" stex:srcref="paper.tex#textrange(from=123;1,to=123;26)">rzero<om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports8.requation3" about="#ring.imports8.requation3" stex:srcref="paper.tex#textrange(from=124;1,to=124;28)">rminusOp<om:OMOBJ><om:OMS cd="group" name="ginvOp"/></om:OMOBJ></omdoc:requation></omdoc:morphism></omdoc:imports><omdoc:symbol name="ring" xml:id="ring.def.sym" about="#ring.def.sym" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)"/><omdoc:definition for="ring" xml:id="ring.definition10" about="#ring.definition10" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)"><omdoc:CMP xml:id="ring.definition10.CMP1" about="#ring.definition10.CMP1" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)">
+ <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="ring.definition10.CMP1.p1">A <omdoc:idx xml:id="ring.definition10.CMP1.p1.idx1" about="#ring.definition10.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:idt xml:id="ring.definition10.CMP1.p1.idx1.idt1" about="#ring.definition10.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:term cd="ring" name="ring" role="definiendum" xml:id="ring.definition10.CMP1.p1.idx1.idt1.term1" about="#ring.definition10.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)">ring</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="ring.definition10.CMP1.p1.idx1.ide2" about="#ring.definition10.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:idp>ring</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="ring" name="rbase"/><om:OMS cd="ring" name="rplus"/><om:OMS cd="ring" name="rzero"/><om:OMS cd="ring" name="rtimes"/><om:OMS cd="ring" name="rone"/><om:OMS cd="ring" name="rminus"/></om:OMA></om:OMOBJ>,
+such that <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMA><om:OMS cd="monoid" name="noneut"/><om:OMS cd="ring" name="rbase"/></om:OMA><om:OMS cd="ring" name="rtimes"/><om:OMS cd="ring" name="rone"/></om:OMA></om:OMOBJ> is a monoid and
+<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="ring" name="rbase"/><om:OMS cd="ring" name="rplus"/><om:OMS cd="ring" name="rzero"/><om:OMS cd="ring" name="rminus"/></om:OMA></om:OMOBJ> is a commutative group.</p>
+ </omdoc:CMP></omdoc:definition></theory></omdoc:omgroup></omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="concl" about="#concl" stex:srcref="paper.tex#textrange(from=135;0,to=138;13)"><omdoc:metadata xml:id="concl.metadata1" about="#concl.metadata1" stex:srcref="paper.tex#textrange(from=135;0,to=135;37)"><dc:title xml:id="concl.metadata1.title1" about="#concl.metadata1.title1" stex:srcref="paper.tex#textrange(from=135;0,to=138;13)">Conclusion</dc:title></omdoc:metadata>
+ <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="concl.p1">
+ <p style="" class="p" id="concl.p1.p1">In this note we have given an example of standard mathematical markup and shown how a a
+sTeX collection can be set up for automation.</p>
+ </div>
+</omdoc:omgroup><omdoc:bibliography files="kwarc"/></omdoc>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf
new file mode 100644
index 00000000000..b850db63b87
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex
new file mode 100644
index 00000000000..5451a828f20
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex
@@ -0,0 +1,149 @@
+\documentclass{omdoc}
+\usepackage[showmods]{stex}
+\usepackage{amssymb}
+\usepackage{alltt}
+\usepackage{hyperref}
+\usepackage{listings}
+\def\omdoc{OMDoc}
+\def\latexml{LaTeXML}
+\defpath{backmods}{../background}
+%% defining the author metadata
+\WAperson[id=miko,
+ affiliation=JUB,
+ url=http://kwarc.info/kohlhase]
+ {Michael Kohlhase}
+\WAinstitution[id=JUB,
+ url=http://jacobs-university.de,
+ streetaddress={Campus Ring 1},
+ townzip={28759 Bremen},
+ countryshort=D,
+ country=Germany,
+ type=University,
+ acronym=JACU,
+ shortname=Jacobs Univ.]
+ {Jacobs University Bremen}
+
+\begin{document}
+
+% metadata and title page
+% \begin{DCmetadata}[maketitle]
+% \DCMcreators{miko}
+% \DCMrights{Copyright (c) 2009 Michael Kohlhase}
+% \DCMtitle{An example of semantic Markup in {\sTeX}}
+% \DCMabstract{In this note we give an example of semantic markup in {\sTeX}:
+% Continuous and differentiable functions are introduced using real numbers, sets and
+% functions as an assumed background.}
+% \end{DCmetadata}
+
+\inputref{intro}
+
+\begin{omgroup}[id=sec.math]{Mathematical Content}
+ \begin{omgroup}{Calculus}
+ We present some standard mathematical definitions, here from calculus.
+ \inputref{continuous}
+ \inputref{differentiable}
+\end{omgroup}
+
+\begin{omgroup}[id=sec.math]{A Theory Graph for Elementary Algebra}
+ Here we show an example for more advanced theory graph manipulations, in particular
+ imports via morphisms.
+
+\begin{module}[id=magma]
+ \importmodule[\backmods{functions}]{functions}
+ \symdef{magbase}{G}
+ \symdef[name=magmaop]{magmaopOp}{\circ}
+ \symdef{magmaop}[2]{\infix\magmaopOp{#1}{#2}}
+ \begin{definition}[id=magma.def]
+ A \defi{magma} is a structure $\tup{\magbase,\magmaopOp}$, such that $\magbase$ is
+ closed under the operation $\fun\magmaopOp{\cart{\magbase,\magbase}}\magbase$.
+ \end{definition}
+\end{module}
+
+\begin{module}[id=semigroup]
+ \importmodule{magma}
+ \begin{definition}[id=semigroup.def]
+ A \trefi[magma]{magma} $\tup{\magbase,\magmaopOp}$, is called a \defi{semigroup}, iff
+ $\magmaopOp$ is associative.
+ \end{definition}
+\end{module}
+
+\begin{module}[id=monoid]
+ \importmodule{semigroup}
+ \symdef{monneut}{e}
+ \symdef{noneut}[1]{#1^*}
+ \begin{definition}[id=monoid.def]
+ A \defi{monoid} is a structure $\tup{\magbase,\magmaopOp,\monneut}$, such that
+ $\tup{\magbase,\magmaopOp}$ is a \trefi[semigroup]{semigroup} and $\monneut$ is a
+ \defii{neutral}{element}, i.e. that $\magmaop{x}\monneut=x$ for all $\inset{x}\magbase$.
+ \end{definition}
+
+ \begin{definition}[id=noneut.def]
+ In a monoid $\tup{\magbase,\magmaopOp,\monneut}$, we use denote the set
+ $\setst{\inset{x}S}{x\ne\monneut}$ with $\noneut{S}$.
+ \end{definition}
+\end{module}
+
+\begin{module}[id=group]
+ \importmodule{monoid}
+ \symdef{ginvOp}{i}
+ \symdef{ginv}[1]{\prefix\ginvOp{#1}}
+ \begin{definition}[id=group.def]
+ A \defi{group} is a structure $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$, such that
+ $\tup{\magbase,\magmaopOp,\monneut}$ is a \trefi[monoid]{monoid} and $\ginvOp$ acts as
+ a \defi{inverse}, i.e. that $\magmaop{x}{\ginv{x}}=\monneut$ for all
+ $\inset{x}\magbase$.
+ \end{definition}
+\end{module}
+
+\begin{module}[id=cgroup]
+\importmodule{group}
+\begin{definition}[id=cgroup.def]
+ We call a \trefi[group]{group} $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$ a
+ \defii{commutative}{group}, iff $\magmaopOp$ is commutative.
+\end{definition}
+\end{module}
+
+\begin{module}[id=ring]
+\symdef{rbase}{R}
+\symdef[name=rtimes]{rtimesOp}{\cdot}
+\symdef{rtimes}[2]{\infix\rtimesOp{#1}{#2}}
+\symdef{rone}{1}
+\begin{importmodulevia}{monoid}
+ \vassign{rbase}\magbase
+ \vassign{rtimesOp}\magmaopOp
+ \vassign{rone}\monneut
+\end{importmodulevia}
+\symdef[name=rplus]{rplusOp}{+}
+\symdef{rplus}[2]{\infix\rplusOp{#1}{#2}}
+\symdef{rzero}{0}
+\symdef[name=rminus]{rminusOp}{-}
+\symdef{rminus}[1]{\prefix\rminusOp{#1}}
+\begin{importmodulevia}{cgroup}
+ \vassign{rplus}\magmaopOp
+ \vassign{rzero}\monneut
+ \vassign{rminusOp}\ginvOp
+\end{importmodulevia}
+\begin{definition}
+ A \defi{ring} is a structure $\tup{\rbase,\rplusOp,\rzero,\rtimesOp,\rone,\rminusOp}$,
+ such that $\tup{\noneut\rbase,\rtimesOp,\rone}$ is a monoid and
+ $\tup{\rbase,\rplusOp,\rzero,\rminusOp}$ is a commutative group.
+\end{definition}
+\end{module}
+\end{omgroup}
+\end{omgroup}
+
+\begin{omgroup}[id=concl]{Conclusion}
+ In this note we have given an example of standard mathematical markup and shown how a a
+ {\sTeX} collection can be set up for automation.
+\end{omgroup}
+\bibliographystyle{alpha}
+\bibliography{kwarc}
+\end{document}
+
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End:
+
+% LocalWords: miko Makefiles tex contfuncs modf sms pdflatex latexml Makefile
+% LocalWords: latexmlpost omdoc STEXDIR BUTFILES DIRS
diff --git a/Master/texmf-dist/doc/latex/stex/example/test/Makefile b/Master/texmf-dist/doc/latex/stex/example/test/Makefile
new file mode 100644
index 00000000000..3634c7ddcff
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/example/test/Makefile
@@ -0,0 +1,7 @@
+STEXDIR = ../..
+TARGET = glotest.tex
+MODSLIBDIR = background
+
+include $(STEXDIR)/make/Makefile.vars
+all: omdoc mods pdf
+include $(STEXDIR)/make/Makefile.in
diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/README b/Master/texmf-dist/doc/latex/stex/hwexam/README
new file mode 100644
index 00000000000..cebd165fa19
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/hwexam/README
@@ -0,0 +1,12 @@
+hwexam.sty: An Infrastructure for marking up Homework Assignment Sheets and Exams
+
+The hwexam packge allows individual course assignment sheets and compond
+assignment documents using problem files marked up with the problem package.
+
+Copyright (c) 2010 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/hwexam
+
diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf
new file mode 100644
index 00000000000..767ab735c4f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/README b/Master/texmf-dist/doc/latex/stex/metakeys/README
new file mode 100644
index 00000000000..56c6eea13b2
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/metakeys/README
@@ -0,0 +1,11 @@
+omd.sty: A generic framework for extensible Metadata in LaTeX
+
+The omd packge supplies the infrastructure for extending sTeX macros with ontology-based
+metadata. This is a package primarily aimed at authors of sTeX extensions.
+
+Copyright (c) 2009 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/metakeys
diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf
new file mode 100644
index 00000000000..7d6de432ea0
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/README b/Master/texmf-dist/doc/latex/stex/mikoslides/README
new file mode 100644
index 00000000000..822e74a199a
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README
@@ -0,0 +1,11 @@
+mikoslides.cls: A Document class for Semantic Slides
+
+The mikoslides class provides a practical basis for marking up slides semantically in sTeX.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/mikoslides
+
diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf
new file mode 100644
index 00000000000..39e6935573f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/modules/README b/Master/texmf-dist/doc/latex/stex/modules/README
new file mode 100644
index 00000000000..bc64ed35416
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/modules/README
@@ -0,0 +1,21 @@
+modules.sty: An Infrastructure for Semantic Macros and Module Scoping
+
+The modules package supplies an infrastructure that allows mark up semantic macros
+and to reuse them efficiently in multiple environments.
+
+This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows
+to markup TeX/LaTeX documents semantically without leaving the document format,
+essentially turning it into a document format for mathematical knowledge management
+(MKM).
+
+This package supplies a definition mechanism for semantic macros and a non-standard
+scoping construct for them, which is oriented at the semantic depency relation rather
+than the document structure. This structure can be used by MKM systems for
+added-value services, either directly from the sTeX sources, or after translation.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/modules
diff --git a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf
new file mode 100644
index 00000000000..7293781d655
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README
new file mode 100644
index 00000000000..2a5111f8d38
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/omdoc/README
@@ -0,0 +1,12 @@
+omdoc.cls: A LaTeX Class for OMDoc Documents
+omdoc.sty: A LaTeX Package for OMDoc Document structures
+
+This package and class supplies a the infrastructure for writing OMDoc documents
+(see http://www.omdoc.org) in LaTeX.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/omdoc
+
diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf
new file mode 100644
index 00000000000..614932300a4
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/omtext/README b/Master/texmf-dist/doc/latex/stex/omtext/README
new file mode 100644
index 00000000000..579f02789b3
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/omtext/README
@@ -0,0 +1,12 @@
+omtext.sty: A LaTeX Package for OMDoc Text environments
+
+This package supplies a the infrastructure for writing OMDoc text fragments.
+(see http://www.omdoc.org) in LaTeX.
+
+Copyright (c) 2010 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/omtext
+
diff --git a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf
new file mode 100644
index 00000000000..45919bf27ea
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/presentation/README b/Master/texmf-dist/doc/latex/stex/presentation/README
new file mode 100644
index 00000000000..6fd953f20d1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/presentation/README
@@ -0,0 +1,16 @@
+presentation.sty: An Infrastructure for Presenting Semantic Macros
+
+This package supplies an infrastructure that allows to specify the presentation of
+semantic macros, including preference-based bracket elision. This allows to markup the
+functional structure of mathematical formulae without having to lose high-quality
+human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by
+MKM systems for added-value services, either directly from the {\sTeX} sources, or after
+translation.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation
+
diff --git a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf
new file mode 100644
index 00000000000..2825ea285b1
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/problem/README b/Master/texmf-dist/doc/latex/stex/problem/README
new file mode 100644
index 00000000000..77b9314109e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/problem/README
@@ -0,0 +1,10 @@
+problem.sty: An Infrastructure for marking up Problems
+
+The problem package supplies an infrastructure that allows mark up problems and to reuse
+them efficiently in multiple environments.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/problem
diff --git a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf
new file mode 100644
index 00000000000..1fe8cadc1c2
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/README b/Master/texmf-dist/doc/latex/stex/rdfmeta/README
new file mode 100644
index 00000000000..0e113125f72
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/README
@@ -0,0 +1,11 @@
+rdfmeta.sty: An Infrastructure for RDFa metadata in arbitrary {\LaTeX} documents
+
+The rdfmeta packge allows mark up Ontology-based Metadata in LaTeX documents that can be
+harvested by automated tools or exported to PDF.
+
+Copyright (c) 2010 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc/rdfmeta
+
diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf
new file mode 100644
index 00000000000..b6562066e13
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex
new file mode 100644
index 00000000000..5e4582833af
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex
@@ -0,0 +1,26 @@
+\documentclass{omdoc}
+\usepackage{stex,rdfmeta,amstext}
+\begin{document}
+\begin{module}[id=certification]
+% \metalanguage[../owl2onto/owl2]{OWL2}
+ \keydef{omtext}{hasState}
+ \keydef{omgroup}{hasState}
+ \symdef{hasState}{\text{hasState}}
+ \symdef{statedocrd}[1]{rd. #1}
+ \symdef{tuev}{\text{T\"UV}}
+ \begin{omgroup}[id=foo,hasState=test]{Definitions}
+ \begin{definition}[for=hasState]
+ A document {\definiendum[hasState]{has state}} $x$, iff
+ the project manager decrees it so.
+ \end{definition}
+ \begin{definition}[for=statedocrd,hasState=$\statedocrd\tuev$]
+ A document has state \definiendum[statedocrd]{rd. $x$},
+ iff it has been submitted to $x$ for certification.
+ \end{definition}
+ \begin{definition}[for=tuev,hasState=$\statedocrd\tuev$]
+ The $\tuev$ (Technischer \"Uberwachungs Verein) is a national
+ certification agency in Germany.
+ \end{definition}
+\end{omgroup}
+\end{module}
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf
new file mode 100644
index 00000000000..b99a36071f2
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README
new file mode 100644
index 00000000000..adc3131dbbd
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README
@@ -0,0 +1,12 @@
+reqdoc.sty: Semantic Markup for Requirement Specification Documents
+
+This package supplies a the infrastructure for writing requirement
+specification documents with embedded semantic markup, and to generate
+XML-based documents from them via the LaTeXML system.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the
+LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf
new file mode 100644
index 00000000000..1aa4d8127f0
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
new file mode 100644
index 00000000000..e3edea34302
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
new file mode 100644
index 00000000000..0288bfdd402
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
@@ -0,0 +1,136 @@
+\documentclass[twoside]{omdoc}
+\usepackage{stex}
+\usepackage[recorddeps]{reqdoc}
+\usepackage{VMeta}
+\usepackage[pdftex, colorlinks=true, linkcolor=blue, citecolor=blue, filecolor=blue, pagecolor=blue, urlcolor=blue, pdftitle=V 1.0, pdfauthor=Administrator, pdfsubject=, pdfkeywords=20.10.97]{hyperref}
+
+
+\WAperson[id=jdoe,affiliation=dfki,department=skss,
+ url=http://dfki.de/jdoe]
+ {John Doe}
+\WAperson[id=miko,affiliation=jacu,department=case,
+ url=http://kwarc.info/kohlhase]
+ {Michael Kohlhase}
+\WAinstitution[id=case,acronym=CASE,shortname=Center for Adv. Sys. Engineering,
+ url=http://jacobs-university.de/ses/case,partof=jacu]
+ {Center for Advanced Systems Engineering}
+\WAinstitution[id=jacu,url=http://jacobs-university.de]
+ {Jacobs University Bremen}
+\WAinstitution[id=skss,url=http://dfki.de/sks,partof=dfki,shortname=Safe\&Secure Cognitive
+Systems,acronym=SKS]
+ {Safe and Secure Cognitive Systems}
+\WAinstitution[id=dfki,url=http://dfki.de,shortname=DFKI,acronym=DFKI]
+ {German Research Center for Artificial Intelligence}
+\begin{document}
+\svnInfo $Id: requirements.tex 1968 2012-01-03 07:56:56Z kohlhase $
+\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $
+\begin{DCmetadata}[maketitle]
+ \DCMtitle{Requirements for Semantic Requirements Documents}
+ \DCMcreators{miko,jdoe}
+ \DCMdate{\today}
+ \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}}
+ and {\texttt{VMeta}} from {\stex}}
+ \VMversion{1.5}
+ \VMdocstate{current}
+ \VMcreated{28.01.2008}
+ \VMresponsible{miko}
+\end{DCmetadata}
+
+\begin{VMchangelist}
+ \begin{VMchange}{07.02.08}{1.0}{miko}
+ made initiale version 1.0 (empty skeleton file)
+ \end{VMchange}
+ \begin{VMchange}{07.03.08}{1.1}{miko}
+ added two requirements
+ \end{VMchange}
+ \begin{VMchange}{12.05.08}{1.2}{miko}
+ simplified some formulations
+ \end{VMchange}
+ \begin{VMchange}{17.05.08}{1.3}{miko}
+ added third requirement that depends on the first two.
+ \end{VMchange}
+\end{VMchangelist}
+
+\begin{VMcertification}
+ \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work}
+ some formulations still unclear, but correct in principle
+ \end{VMcertified}
+ \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI}
+ may need another requirement.
+ \end{VMcertified}
+ \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI}
+ certified: this is what DFKI wants.
+ \end{VMcertified}
+\end{VMcertification}
+\clearpage
+
+\begin{omgroup}{Introduction}
+\begin{omtext}
+In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the
+requirements themselves are quite phony, since they are only for introductory purposes.
+\end{omtext}
+\end{omgroup}
+
+
+\begin{module}[id=user-general-reqs]
+\importmodule[cds/background]{background}
+
+\begin{omgroup}{Some Requirements}
+
+\begin{requirements}[numbering=yes,prefix=U]
+ \begin{requirement}[id=acceptdata,prio=2]
+ {Accept {\termref[cd=background,name=data]{data}} from heterogeneous
+ {\termref[cd=background,name=source]{data sources}}}
+ \reqnote{in particular: $\data$}
+ \end{requirement}
+
+ \begin{requirement}[id=reftest,prio=1]
+ {do something with the data to test the reference}
+ \reqnote{not really, this is just a test}
+ \end{requirement}
+
+ \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}]
+ {do something with the data to test the reference}
+ \reqnote{not really, this is just a test}
+ \end{requirement}
+\end{requirements}
+\end{omgroup}
+
+\begin{omgroup}{Requirements as tables}
+
+\begin{omtext}
+ We can also format requirements as tables
+\end{omtext}
+
+\begin{reqtable}[prefix=U]
+ \reqline[id=tabacceptdata,prio=2]
+ {Accept {\termref[cd=background,name=data]{data}} from heterogeneous
+ {\termref[cd=background,name=source]{data sources}}}
+ {in particular: $\data$}
+
+ \reqline[id=tabreftest,prio=1]
+ {do something with the data to test the reference
+
+ do something with the data to test the reference}
+ {not really, this is just a test}
+
+ \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}]
+ {do something with the data to test the reference}
+ {not really, this is just a test}
+\end{reqtable}
+\end{omgroup}
+\end{module}
+
+\begin{omgroup}{Conclusion}
+ \begin{omtext}
+ See, it was quite simple
+ \end{omtext}
+\end{omgroup}
+\end{document}
+\input{rest}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
+
diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README
new file mode 100644
index 00000000000..0b2a9844ec0
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sproof/README
@@ -0,0 +1,11 @@
+sproof.sty: An Infrastructure for Structural Markup for Proofs
+
+This package supplies macros and environment that allow to annotate the structure of
+mathematical proofs. This structure can be used by MKM systems for added-value services,
+either directly from the sTeX sources, or after translation via the LaTeXML system.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sproof
diff --git a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf
new file mode 100644
index 00000000000..fa048efe2f9
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/README b/Master/texmf-dist/doc/latex/stex/sref/README
new file mode 100644
index 00000000000..457691747cd
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/README
@@ -0,0 +1,10 @@
+sref.sty: A LaTeX Package for semantic crossreferences
+
+This package and class supplies a the infrastructure for crossreferencing across multiple files
+
+Copyright (c) 2009 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sref
+
diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.pdf b/Master/texmf-dist/doc/latex/stex/sref/book.pdf
new file mode 100644
index 00000000000..e370c68d861
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/book.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.tex b/Master/texmf-dist/doc/latex/stex/sref/book.tex
new file mode 100644
index 00000000000..f2f6d5d0c0d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/book.tex
@@ -0,0 +1,18 @@
+\documentclass{book}
+\usepackage{omtext,omdoc}
+\title{Advanced Crossreferencing in {\LaTeX}}
+\author{Elder Researcher (ed.)}
+\usepackage{hyperref}
+\begin{document}
+\maketitle
+\tableofcontents
+\newpage
+\chapter{Semantic Crossreferencing (Jane Doe, ...)}
+\input{idcmain}\newpage
+\chapter{Inter-Document Crossreferencing (John Bull, ...)}
+\input{scrmain}
+\end{document}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
new file mode 100644
index 00000000000..8d6f66392cb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.tex b/Master/texmf-dist/doc/latex/stex/sref/idc.tex
new file mode 100644
index 00000000000..f85a3413758
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/idc.tex
@@ -0,0 +1,21 @@
+\documentclass[extrefs]{omdoc}
+\usepackage{omtext}
+\makeextrefs{idc}
+\inputrefs{scr}{scr}
+\extrefstyle{scr}{\cite[\protect{\theextref}]{scrcit}}
+\title{Inter-Document Crossreferencing}
+\author{John Bull}
+\usepackage{hyperref}
+\begin{document}
+\maketitle\newpage
+\input{idcmain}\newpage
+\begin{thebibliography}{SCR}
+\bibitem[SCR]{scrcit}
+Jane Doe\newblock \href{scr.pdf}{Semantic Crossreferencing}\newblock Personal communication.
+\end{thebibliography}
+\end{document}
+
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex
new file mode 100644
index 00000000000..7afdfcaaaef
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex
@@ -0,0 +1,23 @@
+\begin{omgroup}[id=mcr]{Making Crossreferences}
+\begin{omtext}
+ in the omgroup
+\end{omtext}
+\end{omgroup}
+\newpage
+\begin{omgroup}[id=rad]{Referencing across Documents}
+ Now, we test the referencing mechanism
+ \begin{omtext}[title=Internal Referencing]
+ First single refrences: \sref{mcr} (on page \spageref{mcr}) and \sref{rad} (on page
+ \spageref{rad}), and then compound ones: \srefs{mcr}{rad}
+\end{omtext}
+
+\begin{omtext}[title=External Referencing]
+ First single references: \extref{scr}{setup} (on page \extpageref{scr}{setup}) and
+ \extref{src}{testing} (on page \extpageref{src}{testing})
+% external referencing two: \extrefs{tast}{foo}{bar}
+\end{omtext}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "idc"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
new file mode 100644
index 00000000000..58bf11840fc
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.tex b/Master/texmf-dist/doc/latex/stex/sref/scr.tex
new file mode 100644
index 00000000000..16b35003027
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/scr.tex
@@ -0,0 +1,20 @@
+\documentclass[extrefs]{omdoc}
+\usepackage{omtext}
+\makeextrefs{scr}
+\inputrefs{idc}{idc}
+\extrefstyle{idc}{\cite[\protect{\theextref}]{idccit}}
+\title{Semantic Crossreferencing}
+\author{Jane Doe}
+\usepackage{hyperref}
+\begin{document}
+\maketitle
+\input{scrmain}
+\begin{thebibliography}{IDC}
+\bibitem[IDC]{idccit}
+John Bull\newblock \href{scr.pdf}{Inter-Document Crossreferencing}\newblock Personal communication
+\end{thebibliography}
+\end{document}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: t
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex b/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex
new file mode 100644
index 00000000000..044810a103b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex
@@ -0,0 +1,23 @@
+\begin{omgroup}[id=setup]{Setting up Semantic References}
+\begin{omtext}[title=In a nutshell]
+ How to set up semantic references? Easy, just use the \texttt{omgroup} environment from
+ the \texttt{omdoc} package.
+\end{omtext}
+\end{omgroup}
+\newpage
+\begin{omgroup}[id=testing]{Testing the References}
+Now, we test the referencing mechanism
+\begin{omtext}[title=Internal Referencing]
+ First single refrences: \sref{setup} and \sref{testing}, and then compound ones:
+ \srefs{setup}{testing}
+\end{omtext}
+
+\begin{omtext}[title=External Referencing]
+ First single references: \extref{idc}{mcr} and \extref{idc}{rad}
+% external referencing two: \extrefs{tast}{foo}{bar}
+\end{omtext}
+\end{omgroup}
+%%% Local Variables:
+%%% mode: LaTeX
+%%% TeX-master: "scr"
+%%% End:
diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf
new file mode 100644
index 00000000000..961abc7cbab
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/statements/README b/Master/texmf-dist/doc/latex/stex/statements/README
new file mode 100644
index 00000000000..fe5c2dbbe9c
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/statements/README
@@ -0,0 +1,10 @@
+statements.sty: A LaTeX Package for mathematical Statements
+
+This package and class supplies a the infrastructure for writing OMDoc statements
+(see http://www.omdoc.org) in LaTeX.
+
+Copyright (c) 2008 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/
diff --git a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf
new file mode 100644
index 00000000000..193da815504
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/stex.pdf b/Master/texmf-dist/doc/latex/stex/stex.pdf
new file mode 100644
index 00000000000..8e8b19b4844
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/stex.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/README b/Master/texmf-dist/doc/latex/stex/workaddress/README
new file mode 100644
index 00000000000..5a0ebfe9fb4
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/workaddress/README
@@ -0,0 +1,12 @@
+workaddress.sty: An Infrastructure for marking up Affiliation Metadata in LaTeX documents
+
+The workaddress packge allows Affiliation and Address Metadata in LaTeX documents that can be
+harvested by automated tools or exported to PDF.
+
+Copyright (c) 2011 Michael Kohlhase
+The package is distributed under the terms of the LaTeX Project Public License (LPPL)
+
+See http://trac.kwarc.info/sTeX for the project homepage, the development version
+of this package can be found at
+https://svn.kwarc.info/repos/stex/trunk/sty/stex/workaddress
+
diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf
new file mode 100644
index 00000000000..97cfdfc7402
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf
Binary files differ