summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-11-12 00:31:31 +0000
committerKarl Berry <karl@freefriends.org>2010-11-12 00:31:31 +0000
commit70e387eb63ce4723858c48592208e193dec294f3 (patch)
tree61ec42df871a70687151ed4a6d1bc6a5c81dc53c /Master/texmf-dist/doc/latex/stex
parent2cee8f6dcf8e9596b5cfe9d1f3e55c61b261a320 (diff)
stex 0.9.3 (11nov10)
git-svn-id: svn://tug.org/texlive/trunk@20410 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex')
-rw-r--r--Master/texmf-dist/doc/latex/stex/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/assignment/README10
-rw-r--r--Master/texmf-dist/doc/latex/stex/assignment/assignment.pdfbin258876 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdfbin501317 -> 449387 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/cnx/cnx.pdfbin335346 -> 342228 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/dcm/README7
-rw-r--r--Master/texmf-dist/doc/latex/stex/dcm/dcm.pdfbin326217 -> 302878 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/all.omdoc6
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc12
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc6
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc8
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc8
-rw-r--r--Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc236
-rw-r--r--Master/texmf-dist/doc/latex/stex/hwexam/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdfbin0 -> 323506 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/metakeys/README (renamed from Master/texmf-dist/doc/latex/stex/omd/README)6
-rw-r--r--Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdfbin0 -> 281364 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/mikoslides/README6
-rw-r--r--Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdfbin248126 -> 293762 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/modules/README5
-rw-r--r--Master/texmf-dist/doc/latex/stex/modules/modules.pdfbin527305 -> 462421 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/omd/omd.pdfbin289059 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/omdoc/README5
-rw-r--r--Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdfbin374399 -> 331026 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/omtext/README6
-rw-r--r--Master/texmf-dist/doc/latex/stex/omtext/omtext.pdfbin340041 -> 334344 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/presentation/README6
-rw-r--r--Master/texmf-dist/doc/latex/stex/presentation/presentation.pdfbin422504 -> 404933 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/problem/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/problem/problem.pdfbin271606 -> 278705 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdfbin308676 -> 287638 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdfbin123719 -> 113323 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sproof/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/sproof/sproof.pdfbin348611 -> 350369 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/book.pdfbin106736 -> 89718 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/idc.pdfbin66599 -> 61341 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/scr.pdfbin77776 -> 72075 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/sref/sref.pdfbin348527 -> 326248 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/statements/README4
-rw-r--r--Master/texmf-dist/doc/latex/stex/statements/statements.pdfbin438283 -> 397686 bytes
42 files changed, 139 insertions, 224 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README
index 6aa73d031a4..1952eb98cee 100644
--- a/Master/texmf-dist/doc/latex/stex/README
+++ b/Master/texmf-dist/doc/latex/stex/README
@@ -8,5 +8,5 @@ essentially turning it into a document format for mathematical knowledge managem
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
-https://svn.kwarc.info/repos/stex/sty/stex/
+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/assignment/README b/Master/texmf-dist/doc/latex/stex/assignment/README
deleted file mode 100644
index a62ceef0182..00000000000
--- a/Master/texmf-dist/doc/latex/stex/assignment/README
+++ /dev/null
@@ -1,10 +0,0 @@
-assignment.sty: An Infrastructure for marking up Assignment Sheets
-
-The assignment packge allows individual course assignment sheets and compond
-assignment documents using problem files marked up with the problem package.
-
-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
-https://svn.kwarc.info/repos/stex/sty/assignment/
diff --git a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf b/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf
deleted file mode 100644
index ef791c28e01..00000000000
--- a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
index 7c18fa7fbcf..54bc14c8d06 100644
--- a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
+++ b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf
index f1f1b6824a3..681044e8fdf 100644
--- a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf
+++ 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
index 82799533796..5fd3874b04a 100644
--- a/Master/texmf-dist/doc/latex/stex/dcm/README
+++ b/Master/texmf-dist/doc/latex/stex/dcm/README
@@ -6,6 +6,7 @@ harvested by automated tools or exported to PDF.
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/dcm/README $
-
+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
index e240c089652..e437276fac4 100644
--- a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf
+++ b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
index 45c2c612b05..af660821194 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
@@ -24,7 +24,7 @@
<m:mo egroup="fence" fence="true">(</m:mo>
<iterate name="args">
<separator>
- <m:mo cr="fun">×</m:mo>
+ <m:mo cr="fun">&#xD7;</m:mo>
</separator>
<render name="arg"/>
</iterate>
@@ -48,7 +48,7 @@
<render name="arg1" precedence="200"/>
<m:mo cr="fun">:</m:mo>
<render name="arg2" precedence="200"/>
- <m:mo cr="fun">→</m:mo>
+ <m:mo cr="fun">&#x2192;</m:mo>
<render name="arg3" precedence="200"/>
<m:mo egroup="fence" fence="true">)</m:mo>
</m:mrow>
@@ -67,7 +67,7 @@
<m:mrow>
<m:mo egroup="fence" fence="true">(</m:mo>
<render name="arg1" precedence="650"/>
- <m:mo cr="fun">∈</m:mo>
+ <m:mo cr="fun">&#x2208;</m:mo>
<render name="arg2" precedence="650"/>
<m:mo egroup="fence" fence="true">)</m:mo>
</m:mrow>
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
index 819908cf05d..4577907ced1 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
@@ -3,9 +3,7 @@
<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="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="functions.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>
+ <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1">Functions</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)">
<symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/>
@@ -23,7 +21,7 @@
<m:mo egroup="fence" fence="true">(</m:mo>
<iterate name="args">
<separator>
- <m:mo cr="fun">×</m:mo>
+ <m:mo cr="fun">&#xD7;</m:mo>
</separator>
<render name="arg"/>
</iterate>
@@ -47,7 +45,7 @@
<render name="arg1" precedence="200"/>
<m:mo cr="fun">:</m:mo>
<render name="arg2" precedence="200"/>
- <m:mo cr="fun">→</m:mo>
+ <m:mo cr="fun">&#x2192;</m:mo>
<render name="arg3" precedence="200"/>
<m:mo egroup="fence" fence="true">)</m:mo>
</m:mrow>
@@ -66,7 +64,7 @@
<m:mrow>
<m:mo egroup="fence" fence="true">(</m:mo>
<render name="arg1" precedence="650"/>
- <m:mo cr="fun">∈</m:mo>
+ <m:mo cr="fun">&#x2208;</m:mo>
<render name="arg2" precedence="650"/>
<m:mo egroup="fence" fence="true">)</m:mo>
</m:mrow>
@@ -76,7 +74,7 @@
<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>
+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>function</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>
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
index 96455425373..0f148890d06 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
@@ -3,9 +3,7 @@
<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="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="reals.omdoc">
<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>
+ <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1">Real Numbers</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"/>
@@ -56,7 +54,7 @@
<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
+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>real</idp><idp>numbers</idp></ide></idx> we all know and love with
<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>.
</p>
</CMP>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
index d02a6d216e7..6b73e519730 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
@@ -3,9 +3,7 @@
<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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="continuous.omdoc">
<omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)">
<metadata xml:id="sec.contfuncs.p1" about="#sec.contfuncs.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=12;12)">
- <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">
- <p xml:id="sec.contfuncs.p1.p1.p1" about="#sec.contfuncs.p1.p1.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)">Continuous Functions</p>
- </dc:title>
+ <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">Continuous Functions</dc:title>
</metadata>
<theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=12;12)">
<imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
@@ -27,7 +25,7 @@
<m:mi mathvariant="script">C</m:mi>
<m:mn>0</m:mn>
</m:msup>
- <m:mo>⁢</m:mo>
+ <m:mo>&#x2062;</m:mo>
<m:mfenced open="(" close=")">
<m:mrow>
<render name="arg1"/>
@@ -42,7 +40,7 @@
<definition for="continuous" xml:id="continuous.p5" about="#continuous.p5" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
<CMP xml:id="continuous.p5.p1" about="#continuous.p5.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
<p xml:id="continuous.p5.p1.p1" about="#continuous.p5.p1.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
-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 <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp><phrase>continuous</phrase></idp></ide></idx> at
+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 <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp>continuous</idp></ide></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></p>
</CMP>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
index 20c184eff4a..b1415a2334b 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
@@ -3,9 +3,7 @@
<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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="differentiable.omdoc">
<omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">
<metadata xml:id="sec.differentiable.p1" about="#sec.differentiable.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)">
- <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">
- <p xml:id="sec.differentiable.p1.p1.p1" about="#sec.differentiable.p1.p1.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">Differentiable Functions</p>
- </dc:title>
+ <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">Differentiable Functions</dc:title>
</metadata>
<theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)">
<imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
@@ -26,7 +24,7 @@
<m:mi mathvariant="script">C</m:mi>
<m:mn>1</m:mn>
</m:msup>
- <m:mo>⁢</m:mo>
+ <m:mo>&#x2062;</m:mo>
<m:mfenced open="(" close=")">
<m:mrow>
<render name="arg1"/>
@@ -41,7 +39,7 @@
<definition for="differentiable continuous" xml:id="differentiable.p4" about="#differentiable.p4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
<CMP xml:id="differentiable.p4.p1" about="#differentiable.p4.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
<p xml:id="differentiable.p4.p1.p1" about="#differentiable.p4.p1.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
-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 <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp><phrase>differentiable</phrase></idp></ide></idx> at
+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 <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp>differentiable</idp></ide></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>
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
index ca38d57bd73..02d7d746649 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
@@ -2,44 +2,29 @@
<!--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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="paper.tex#textrange(from=15;1,to=15;17)" xml:id="paper.omdoc">
<metadata xml:id="paper.omdoc.p1" about="#paper.omdoc.p1" stex:srcref="paper.tex#textrange(from=18;0,to=25;16)">
- <dc:creator xml:id="paper.omdoc.p1.p1" about="#paper.omdoc.p1.p1" stex:srcref="paper.tex#textrange(from=19;0,to=19;20)">
- <p xml:id="paper.omdoc.p1.p1.p1" about="#paper.omdoc.p1.p1.p1" stex:srcref="paper.tex#textrange(from=19;0,to=19;20)">Michael Kohlhase</p>
- </dc:creator>
- <dc:rights xml:id="paper.omdoc.p1.p2" about="#paper.omdoc.p1.p2" stex:srcref="paper.tex#textrange(from=20;0,to=20;49)">
- <p xml:id="paper.omdoc.p1.p2.p1" about="#paper.omdoc.p1.p2.p1" stex:srcref="paper.tex#textrange(from=20;0,to=20;49)">Copyright (c) 2009 Michael Kohlhase</p>
- </dc:rights>
- <dc:title xml:id="paper.omdoc.p1.p3" about="#paper.omdoc.p1.p3" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">
- <p xml:id="paper.omdoc.p1.p3.p1" about="#paper.omdoc.p1.p3.p1" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">An example of semantic Markup in <phrase xml:id="paper.omdoc.p1.p3.p1.p1" about="#paper.omdoc.p1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">sTeX</phrase></p>
- </dc:title>
- <dc:description xml:id="paper.omdoc.p1.p4" about="#paper.omdoc.p1.p4" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">
- <p xml:id="paper.omdoc.p1.p4.p1" about="#paper.omdoc.p1.p4.p1" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">In this note we give an example of semantic markup in <phrase xml:id="paper.omdoc.p1.p4.p1.p1" about="#paper.omdoc.p1.p4.p1.p1" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">sTeX</phrase>:
+ <dc:creator xml:id="paper.omdoc.p1.p1" about="#paper.omdoc.p1.p1" stex:srcref="paper.tex#textrange(from=19;0,to=19;20)">MichaelKohlhase</dc:creator>
+ <dc:rights xml:id="paper.omdoc.p1.p2" about="#paper.omdoc.p1.p2" stex:srcref="paper.tex#textrange(from=20;0,to=20;49)">Copyright (c) 2009 Michael Kohlhase</dc:rights>
+ <dc:title xml:id="paper.omdoc.p1.p3" about="#paper.omdoc.p1.p3" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">An example of semantic Markup in <phrase xml:id="paper.omdoc.p1.p3.p1" about="#paper.omdoc.p1.p3.p1" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">sTeX</phrase></dc:title>
+ <dc:description xml:id="paper.omdoc.p1.p4" about="#paper.omdoc.p1.p4" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">In this note we give an example of semantic markup in <phrase xml:id="paper.omdoc.p1.p4.p1" about="#paper.omdoc.p1.p4.p1" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">sTeX</phrase>:
Continuous and differentiable functions are introduced using real numbers, sets and
-functions as an assumed background.</p>
- </dc:description>
+functions as an assumed background.</dc:description>
</metadata>
<omgroup layout="sectioning" xml:id="intro" about="#intro" stex:srcref="paper.tex#textrange(from=27;0,to=110;13)">
<metadata xml:id="intro.p1" about="#intro.p1" stex:srcref="paper.tex#textrange(from=27;0,to=27;39)">
- <dc:title stex:srcref="paper.tex#textrange(from=27;0,to=110;13)" xml:id="intro.p1.p1" about="#intro.p1.p1">
- <p xml:id="intro.p1.p1.p1" about="#intro.p1.p1.p1" stex:srcref="paper.tex#textrange(from=27;0,to=110;13)">Introduction</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=27;0,to=110;13)" xml:id="intro.p1.p1" about="#intro.p1.p1">Introduction</dc:title>
</metadata>
<omtext xml:id="intro.p2" about="#intro.p2" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)">
- <CMP xml:id="intro.p2.p1" about="#intro.p2.p1" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)">
- <p xml:id="intro.p2.p1.p1" about="#intro.p2.p1.p1" stex:srcref="paper.tex#textrange(from=27;0,to=27;39)">We will show how to semantically mark up mathematics in the <phrase xml:id="intro.p2.p1.p1.p1" about="#intro.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=27;1,to=28;68)">sTeX</phrase>
-format <ref type="cite" xref="kohlhase:ulsmf08"/> and how to convert it into
-OMDoc <ref type="cite" xref="kohlhase:omdoc1.3"/>.
-</p>
- <p xml:id="intro.p2.p1.p2" about="#intro.p2.p1.p2" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)">We have some mathematical material in Section <ref type="cite" xref="sec.math" xml:id="intro.p2.p1.p2.p1" about="#intro.p2.p1.p2.p1" stex:srcref="paper.tex#textrange(from=31;29,to=32;56)"/> which will serve as example
+ <CMP xml:id="intro.p2.p1" about="#intro.p2.p1" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)">We will show how to semantically mark up mathematics in the <phrase xml:id="intro.p2.p1.p1" about="#intro.p2.p1.p1" stex:srcref="paper.tex#textrange(from=27;1,to=28;68)">sTeX</phrase>
+format&#xA0;<citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:ulsmf08"/> and how to convert it into
+OMDoc&#xA0;<citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:omdoc1.3"/>.
+We have some mathematical material in Section <ref type="cite" xref="sec.math" xml:id="intro.p2.p1.p2" about="#intro.p2.p1.p2" stex:srcref="paper.tex#textrange(from=31;29,to=32;56)"/> 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>
- </CMP>
+</CMP>
</omtext>
<omgroup layout="sectioning" xml:id="intro.p3" about="#intro.p3" stex:srcref="paper.tex#textrange(from=35;0,to=63;13)">
<metadata xml:id="intro.p3.p1" about="#intro.p3.p1" stex:srcref="paper.tex#textrange(from=35;0,to=62;13)">
- <dc:title stex:srcref="paper.tex#textrange(from=35;0,to=63;13)" xml:id="intro.p3.p1.p1" about="#intro.p3.p1.p1">
- <p xml:id="intro.p3.p1.p1.p1" about="#intro.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=35;0,to=63;13)">The Setup</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=35;0,to=63;13)" xml:id="intro.p3.p1.p1" about="#intro.p3.p1.p1">The Setup</dc:title>
</metadata>
<theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="setup" about="#setup" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">
<imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
@@ -50,27 +35,25 @@ present an approach to automation of the OMDoc conversion via Unix Makefiles.
<CMP xml:id="setup.p3.p1" about="#setup.p3.p1" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)">
<p xml:id="setup.p3.p1.p1" about="#setup.p3.p1.p1" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)">
The source of this note is contained in the file <phrase class="code" xml:id="setup.p3.p1.p1.p1" about="#setup.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=37;13,to=38;74)">paper.tex</phrase>. We call it
-the <idx xml:id="setup.p3.p1.p1.p2" about="#setup.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)"><idt><term cd="setup" name="target" role="definiendum" xml:id="setup.p3.p1.p1.p2.p1" about="#setup.p3.p1.p1.p2.p1" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)">target</term></idt><ide index="default"><idp><phrase>target</phrase></idp></ide></idx>, since formatting it with LaTeX will generate the main
+the <idx xml:id="setup.p3.p1.p1.p2" about="#setup.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)"><idt><term cd="setup" name="target" role="definiendum" xml:id="setup.p3.p1.p1.p2.p1" about="#setup.p3.p1.p1.p2.p1" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)">target</term></idt><ide index="default"><idp>target</idp></ide></idx>, since formatting it with LaTeX will generate the main
document. The content in Section <ref type="cite" xref="sec.contfuncs" xml:id="setup.p3.p1.p1.p3" about="#setup.p3.p1.p1.p3" stex:srcref="paper.tex#textrange(from=39;33,to=40;52)"/> and Section <ref type="cite" xref="sec.differentiable" xml:id="setup.p3.p1.p1.p4" about="#setup.p3.p1.p1.p4" stex:srcref="paper.tex#textrange(from=39;1,to=40;84)"/>
comes from included files <phrase class="code" xml:id="setup.p3.p1.p1.p5" about="#setup.p3.p1.p1.p5" stex:srcref="paper.tex#textrange(from=40;5,to=41;56)">continuous.tex</phrase> and
-<phrase class="code" xml:id="setup.p3.p1.p1.p6" about="#setup.p3.p1.p1.p6" stex:srcref="paper.tex#textrange(from=41;54,to=42;34)">differentiable.tex</phrase>, we will call them <idx xml:id="setup.p3.p1.p1.p7" about="#setup.p3.p1.p1.p7" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)"><idt><term cd="setup" name="module" role="definiendum" xml:id="setup.p3.p1.p1.p7.p1" about="#setup.p3.p1.p1.p7.p1" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)">module</term></idt><ide index="default"><idp><phrase>module</phrase></idp></ide></idx>s, since they may
+<phrase class="code" xml:id="setup.p3.p1.p1.p6" about="#setup.p3.p1.p1.p6" stex:srcref="paper.tex#textrange(from=41;54,to=42;34)">differentiable.tex</phrase>, we will call them <idx xml:id="setup.p3.p1.p1.p7" about="#setup.p3.p1.p1.p7" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)"><idt><term cd="setup" name="module" role="definiendum" xml:id="setup.p3.p1.p1.p7.p1" about="#setup.p3.p1.p1.p7.p1" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)">module</term></idt><ide index="default"><idp>module</idp></ide></idx>s, since they may
be used (i.e. included) by other target documents as well.
</p>
</CMP>
</definition>
<omtext xml:id="setup.p4" about="#setup.p4" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)">
- <CMP xml:id="setup.p4.p1" about="#setup.p4.p1" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)">
- <p xml:id="setup.p4.p1.p1" about="#setup.p4.p1.p1" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)">As the modules are built for inclusion into other documents, they are not
+ <CMP xml:id="setup.p4.p1" about="#setup.p4.p1" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)">As the modules are built for inclusion into other documents, they are not
self-contained:
-</p>
- </CMP>
+</CMP>
</omtext>
<omgroup layout="enumerate" xml:id="I1" about="#I1" stex:srcref="paper.tex#textrange(from=47;0,to=54;19)">
<omtext xml:id="I1.p1" about="#I1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)">
<CMP xml:id="I1.p1.p1" about="#I1.p1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)">
<p xml:id="I1.p1.p1.p1" about="#I1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)">they do not contain a LaTeX preamble and
-<omlet action="display" data="#id35821218" show="embed" style="" font="typewriter"/>/<omlet action="display" data="#id35821224" show="embed" style="" font="typewriter"/>, and
-</p>
+<phrase><omlet action="display" data="#id36156444" show="embed" style="" font="typewriter"/>/<omlet action="display" data="#id36151430" show="embed" style="" font="typewriter"/>, and
+</phrase></p>
</CMP>
</omtext>
<omtext xml:id="I1.p2" about="#I1.p2" stex:srcref="paper.tex#textrange(from=49;76,to=50;11)">
@@ -81,8 +64,8 @@ self-contained:
</omtext>
<omtext xml:id="I1.p3" about="#I1.p3" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)">
<CMP xml:id="I1.p3.p1" about="#I1.p3.p1" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)">
- <p xml:id="I1.p3.p1.p1" about="#I1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)">to facilitate this a module file <phrase class="code" xml:id="I1.p3.p1.p1.p1" about="#I1.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=50;25,to=51;61)">modf.tex</phrase> comes with a “semantic
-macro short form” <phrase class="code" xml:id="I1.p3.p1.p1.p2" about="#I1.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=51;41,to=52;43)">modf.sms</phrase> that can be included without generating
+ <p xml:id="I1.p3.p1.p1" about="#I1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)">to facilitate this a module file <phrase class="code" xml:id="I1.p3.p1.p1.p1" about="#I1.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=50;25,to=51;61)">modf.tex</phrase> comes with a &#x201C;semantic
+macro short form&#x201D; <phrase class="code" xml:id="I1.p3.p1.p1.p2" about="#I1.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=51;41,to=52;43)">modf.sms</phrase> that can be included without generating
output in the PDF.
</p>
</CMP>
@@ -90,59 +73,46 @@ output in the PDF.
</omgroup>
<symbol name="background-module" xml:id="background-module.def.sym"/>
<omtext xml:id="setup.p6" about="#setup.p6" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">
- <CMP xml:id="setup.p6.p1" about="#setup.p6.p1" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">
- <p xml:id="setup.p6.p1.p1" about="#setup.p6.p1.p1" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">this will have consequences for the automation. Concretely, the module on
-differentiable functions in Section <ref type="cite" xref="sec.differentiable" xml:id="setup.p6.p1.p1.p1" about="#setup.p6.p1.p1.p1" stex:srcref="paper.tex#textrange(from=55;32,to=56;58)"/> depends on that for continuous
-functions in Section <ref type="cite" xref="sec.contfuncs" xml:id="setup.p6.p1.p1.p2" about="#setup.p6.p1.p1.p2" stex:srcref="paper.tex#textrange(from=56;51,to=57;38)"/>. Both of them depend on modules for real numbers,
-sets and functions that we do not want to cover in this note. <phrase for="background-module" type="inlinedef" xml:id="setup.p6.p1.p1.p3" about="#setup.p6.p1.p1.p3" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">We assume that
+ <CMP xml:id="setup.p6.p1" about="#setup.p6.p1" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">this will have consequences for the automation. Concretely, the module on
+differentiable functions in Section <ref type="cite" xref="sec.differentiable" xml:id="setup.p6.p1.p1" about="#setup.p6.p1.p1" stex:srcref="paper.tex#textrange(from=55;32,to=56;58)"/> depends on that for continuous
+functions in Section <ref type="cite" xref="sec.contfuncs" xml:id="setup.p6.p1.p2" about="#setup.p6.p1.p2" stex:srcref="paper.tex#textrange(from=56;51,to=57;38)"/>. Both of them depend on modules for real numbers,
+sets and functions that we do not want to cover in this note. <phrase for="background-module" type="inlinedef" xml:id="setup.p6.p1.p3" about="#setup.p6.p1.p3" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">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 <idx xml:id="setup.p6.p1.p1.p3.p1" about="#setup.p6.p1.p1.p3.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)"><idt><term cd="setup" name="background-module" role="definiendum" xml:id="setup.p6.p1.p1.p3.p1.p1" about="#setup.p6.p1.p1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">background module</term></idt><ide index="default"><idp><phrase>background</phrase></idp><idp><phrase>module</phrase></idp></ide></idx>s</phrase>. In our setup we
-keep them in the subdirectory <phrase class="code" xml:id="setup.p6.p1.p1.p4" about="#setup.p6.p1.p1.p4" stex:srcref="paper.tex#textrange(from=60;2,to=61;54)">background</phrase>.
-</p>
- </CMP>
+accessible to us and call them <idx xml:id="setup.p6.p1.p3.p1" about="#setup.p6.p1.p3.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)"><idt><term cd="setup" name="background-module" role="definiendum" xml:id="setup.p6.p1.p3.p1.p1" about="#setup.p6.p1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">background module</term></idt><ide index="default"><idp>background</idp><idp>module</idp></ide></idx>s</phrase>. In our setup we
+keep them in the subdirectory <phrase class="code" xml:id="setup.p6.p1.p4" about="#setup.p6.p1.p4" stex:srcref="paper.tex#textrange(from=60;2,to=61;54)">background</phrase>.
+</CMP>
</omtext>
</theory>
</omgroup>
<omgroup layout="sectioning" xml:id="intro.p4" about="#intro.p4" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">
<metadata xml:id="intro.p4.p1" about="#intro.p4.p1" stex:srcref="paper.tex#textrange(from=65;0,to=65;51)">
- <dc:title stex:srcref="paper.tex#textrange(from=65;0,to=73;13)" xml:id="intro.p4.p1.p1" about="#intro.p4.p1.p1">
- <p xml:id="intro.p4.p1.p1.p1" about="#intro.p4.p1.p1.p1" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">Formatting and OMDoc conversion</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=65;0,to=73;13)" xml:id="intro.p4.p1.p1" about="#intro.p4.p1.p1">Formatting and OMDoc conversion</dc:title>
</metadata>
<omtext xml:id="intro.p4.p2" about="#intro.p4.p2" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">
- <CMP xml:id="intro.p4.p2.p1" about="#intro.p4.p2.p1" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">
- <p xml:id="intro.p4.p2.p1.p1" about="#intro.p4.p2.p1.p1" stex:srcref="paper.tex#textrange(from=65;0,to=65;51)">To format an <phrase xml:id="intro.p4.p2.p1.p1.p1" about="#intro.p4.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=65;68,to=66;21)">sTeX</phrase> document — i.e. to produce a PDF file from the <phrase xml:id="intro.p4.p2.p1.p1.p2" about="#intro.p4.p2.p1.p1.p2" stex:srcref="paper.tex#textrange(from=65;11,to=66;78)">sTeX</phrase> marked-up
-sources — we only need to run the <phrase class="code" xml:id="intro.p4.p2.p1.p1.p3" about="#intro.p4.p2.p1.p1.p3" stex:srcref="paper.tex#textrange(from=66;34,to=67;56)">pdflatex</phrase> program over the target document
-— assuming that all modules (regular or background) have semantic macro short forms.
-</p>
- <p xml:id="intro.p4.p2.p1.p2" about="#intro.p4.p2.p1.p2" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">To convert an <phrase xml:id="intro.p4.p2.p1.p2.p1" about="#intro.p4.p2.p1.p2.p1" stex:srcref="paper.tex#textrange(from=69;66,to=70;22)">sTeX</phrase> document to OMDoc, we need to run <phrase class="code" xml:id="intro.p4.p2.p1.p2.p2" about="#intro.p4.p2.p1.p2.p2" stex:srcref="paper.tex#textrange(from=69;10,to=70;78)">latexml</phrase> over it,
-post-process the result by <phrase class="code" xml:id="intro.p4.p2.p1.p2.p3" about="#intro.p4.p2.p1.p2.p3" stex:srcref="paper.tex#textrange(from=70;41,to=71;50)">latexmlpost</phrase>, and finally massage away all remaining
-LaTeXML islands with a stylesheet, see  <ref type="cite" xref="kohlhase:ssmtl*"/> for details.
-</p>
- </CMP>
+ <CMP xml:id="intro.p4.p2.p1" about="#intro.p4.p2.p1" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">To format an <phrase xml:id="intro.p4.p2.p1.p1" about="#intro.p4.p2.p1.p1" stex:srcref="paper.tex#textrange(from=65;68,to=66;21)">sTeX</phrase> document &#x2014; i.e. to produce a PDF file from the <phrase xml:id="intro.p4.p2.p1.p2" about="#intro.p4.p2.p1.p2" stex:srcref="paper.tex#textrange(from=65;11,to=66;78)">sTeX</phrase> marked-up
+sources &#x2014; we only need to run the <phrase class="code" xml:id="intro.p4.p2.p1.p3" about="#intro.p4.p2.p1.p3" stex:srcref="paper.tex#textrange(from=66;34,to=67;56)">pdflatex</phrase> program over the target document
+&#x2014; assuming that all modules (regular or background) have semantic macro short forms.
+To convert an <phrase xml:id="intro.p4.p2.p1.p4" about="#intro.p4.p2.p1.p4" stex:srcref="paper.tex#textrange(from=69;66,to=70;22)">sTeX</phrase> document to OMDoc, we need to run <phrase class="code" xml:id="intro.p4.p2.p1.p5" about="#intro.p4.p2.p1.p5" stex:srcref="paper.tex#textrange(from=69;10,to=70;78)">latexml</phrase> over it,
+post-process the result by <phrase class="code" xml:id="intro.p4.p2.p1.p6" about="#intro.p4.p2.p1.p6" stex:srcref="paper.tex#textrange(from=70;41,to=71;50)">latexmlpost</phrase>, and finally massage away all remaining
+LaTeXML islands with a stylesheet, see &#xA0;<citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:ssmtl*"/> for details.
+</CMP>
</omtext>
</omgroup>
<omgroup layout="sectioning" xml:id="intro.p5" about="#intro.p5" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">
<metadata xml:id="intro.p5.p1" about="#intro.p5.p1" stex:srcref="paper.tex#textrange(from=75;0,to=75;42)">
- <dc:title stex:srcref="paper.tex#textrange(from=75;0,to=108;13)" xml:id="intro.p5.p1.p1" about="#intro.p5.p1.p1">
- <p xml:id="intro.p5.p1.p1.p1" about="#intro.p5.p1.p1.p1" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">Makefile-based Automation</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=75;0,to=108;13)" xml:id="intro.p5.p1.p1" about="#intro.p5.p1.p1">Makefile-based Automation</dc:title>
</metadata>
<omtext xml:id="intro.p5.p2" about="#intro.p5.p2" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)">
- <CMP xml:id="intro.p5.p2.p1" about="#intro.p5.p2.p1" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)">
- <p xml:id="intro.p5.p2.p1.p1" about="#intro.p5.p2.p1.p1" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)">As the conversion to OMDoc is rather complex (the programs in the three steps take a
+ <CMP xml:id="intro.p5.p2.p1" about="#intro.p5.p2.p1" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)">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
-<phrase class="code" xml:id="intro.p5.p2.p1.p1.p1" about="#intro.p5.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=77;10,to=78;16)">make</phrase> targets.
-</p>
- </CMP>
+<phrase class="code" xml:id="intro.p5.p2.p1.p1" about="#intro.p5.p2.p1.p1" stex:srcref="paper.tex#textrange(from=77;10,to=78;16)">make</phrase> targets.
+</CMP>
</omtext>
<omgroup layout="description" xml:id="I2" about="#I2" stex:srcref="paper.tex#textrange(from=79;0,to=87;19)">
<omtext xml:id="I2.p1" about="#I2.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">
<metadata xml:id="I2.p1.p1" about="#I2.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">
<dc:title xml:id="I2.p1.p1.p1" about="#I2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">
- <p xml:id="I2.p1.p1.p1.p1" about="#I2.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">
- <phrase class="code" xml:id="I2.p1.p1.p1.p1.p1" about="#I2.p1.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">make omdoc</phrase>
- </p>
+ <phrase class="code" xml:id="I2.p1.p1.p1.p1" about="#I2.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">make omdoc</phrase>
</dc:title>
</metadata>
<CMP xml:id="I2.p1.p2" about="#I2.p1.p2" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">
@@ -154,9 +124,7 @@ document.
<omtext xml:id="I2.p2" about="#I2.p2" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">
<metadata xml:id="I2.p2.p1" about="#I2.p2.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">
<dc:title xml:id="I2.p2.p1.p1" about="#I2.p2.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">
- <p xml:id="I2.p2.p1.p1.p1" about="#I2.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">
- <phrase class="code" xml:id="I2.p2.p1.p1.p1.p1" about="#I2.p2.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">make mods</phrase>
- </p>
+ <phrase class="code" xml:id="I2.p2.p1.p1.p1" about="#I2.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">make mods</phrase>
</dc:title>
</metadata>
<CMP xml:id="I2.p2.p2" about="#I2.p2.p2" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">
@@ -167,9 +135,7 @@ document.
<omtext xml:id="I2.p3" about="#I2.p3" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">
<metadata xml:id="I2.p3.p1" about="#I2.p3.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">
<dc:title xml:id="I2.p3.p1.p1" about="#I2.p3.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">
- <p xml:id="I2.p3.p1.p1.p1" about="#I2.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">
- <phrase class="code" xml:id="I2.p3.p1.p1.p1.p1" about="#I2.p3.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">make pdf</phrase>
- </p>
+ <phrase class="code" xml:id="I2.p3.p1.p1.p1" about="#I2.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">make pdf</phrase>
</dc:title>
</metadata>
<CMP xml:id="I2.p3.p2" about="#I2.p3.p2" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">
@@ -180,9 +146,7 @@ document.
<omtext xml:id="I2.p4" about="#I2.p4" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">
<metadata xml:id="I2.p4.p1" about="#I2.p4.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">
<dc:title xml:id="I2.p4.p1.p1" about="#I2.p4.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">
- <p xml:id="I2.p4.p1.p1.p1" about="#I2.p4.p1.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">
- <phrase class="code" xml:id="I2.p4.p1.p1.p1.p1" about="#I2.p4.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">make mpdf</phrase>
- </p>
+ <phrase class="code" xml:id="I2.p4.p1.p1.p1" about="#I2.p4.p1.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">make mpdf</phrase>
</dc:title>
</metadata>
<CMP xml:id="I2.p4.p2" about="#I2.p4.p2" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">
@@ -193,9 +157,7 @@ document.
<omtext xml:id="I2.p5" about="#I2.p5" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">
<metadata xml:id="I2.p5.p1" about="#I2.p5.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">
<dc:title xml:id="I2.p5.p1.p1" about="#I2.p5.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">
- <p xml:id="I2.p5.p1.p1.p1" about="#I2.p5.p1.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">
- <phrase class="code" xml:id="I2.p5.p1.p1.p1.p1" about="#I2.p5.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">make sms</phrase>
- </p>
+ <phrase class="code" xml:id="I2.p5.p1.p1.p1" about="#I2.p5.p1.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">make sms</phrase>
</dc:title>
</metadata>
<CMP xml:id="I2.p5.p2" about="#I2.p5.p2" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">
@@ -206,82 +168,38 @@ forms of modules (this is implicitly called in all the other <phrase class="code
</omtext>
</omgroup>
<omtext xml:id="intro.p5.p4" about="#intro.p5.p4" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">
- <CMP xml:id="intro.p5.p4.p1" about="#intro.p5.p4.p1" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">
- <p xml:id="intro.p5.p4.p1.p1" about="#intro.p5.p4.p1.p1" stex:srcref="paper.tex#textrange(from=75;0,to=75;42)">To use this, we need to set up a <phrase class="code" xml:id="intro.p5.p4.p1.p1.p1" about="#intro.p5.p4.p1.p1.p1" stex:srcref="paper.tex#textrange(from=87;24,to=88;55)">Makefile</phrase> of the following form:
-</p>
- <omlet xmlns:mcd="http://www.w3.org/ns/mathml-cd" action="display" show="embed" style="display:block" class="language_make" xml:id="LSTx1">
- <code>
- <data format="listingblock">
- <table class="listing">
- <tr>
- <td/>
- <td>STEXDIR = ../..</td>
- </tr>
- <tr>
- <td>2</td>
- <td>TARGET = paper.tex</td>
- </tr>
- <tr>
- <td/>
- <td>MODSLIBDIR = ../background</td>
- </tr>
- <tr>
- <td>4</td>
- <td/>
- </tr>
- <tr>
- <td/>
- <td>include $(STEXDIR)/make/Makefile.vars</td>
- </tr>
- <tr>
- <td>6</td>
- <td>all: omdoc mods pdf</td>
- </tr>
- <tr>
- <td/>
- <td>include $(STEXDIR)/make/Makefile.in</td>
- </tr>
- </table>
- </data>
- </code>
- </omlet>
- <p xml:id="intro.p5.p4.p1.p3" about="#intro.p5.p4.p1.p3" stex:srcref="paper.tex#textrange(from=75;0,to=75;42)">The variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">STEXDIR</phrase> has to be set to the main directory of the <phrase xml:id="intro.p5.p4.p1.p3.p1" about="#intro.p5.p4.p1.p3.p1" stex:srcref="paper.tex#textrange(from=92;1,to=93;86)">sTeX</phrase>
+ <CMP xml:id="intro.p5.p4.p1" about="#intro.p5.p4.p1" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">To use this, we need to set up a <phrase class="code" xml:id="intro.p5.p4.p1.p1" about="#intro.p5.p4.p1.p1" stex:srcref="paper.tex#textrange(from=87;24,to=88;55)">Makefile</phrase> of the following form:
+
+<omlet xmlns:mcd="http://www.w3.org/ns/mathml-cd" action="display" show="embed" style="display:block" class="language_make" xml:id="LSTx1"><code><data format="listingblock"><table class="listing"><tr><td/><td>STEXDIR&#xA0;=&#xA0;../..</td></tr><tr><td>2</td><td>TARGET&#xA0;=&#xA0;paper.tex</td></tr><tr><td/><td>MODSLIBDIR&#xA0;=&#xA0;../background</td></tr><tr><td>4</td><td/></tr><tr><td/><td>include&#xA0;$(STEXDIR)/make/Makefile.vars</td></tr><tr><td>6</td><td>all:&#xA0;omdoc&#xA0;mods&#xA0;pdf</td></tr><tr><td/><td>include&#xA0;$(STEXDIR)/make/Makefile.in</td></tr></table></data></code></omlet>
+The variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">STEXDIR</phrase> has to be set to the main directory of the <phrase xml:id="intro.p5.p4.p1.p3" about="#intro.p5.p4.p1.p3" stex:srcref="paper.tex#textrange(from=92;1,to=93;86)">sTeX</phrase>
distribution. The variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">TARGET</phrase> specifies the target document (all other
-<phrase class="code" xml:id="intro.p5.p4.p1.p3.p2" about="#intro.p5.p4.p1.p3.p2" stex:srcref="paper.tex#textrange(from=94;73,to=95;17)">*.tex</phrase> files that are not excluded in the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILES</phrase> variables are
-considered as modules). Here, the <phrase class="code" xml:id="intro.p5.p4.p1.p3.p3" about="#intro.p5.p4.p1.p3.p3" stex:srcref="paper.tex#textrange(from=95;32,to=96;56)">background</phrase> directory for convenience. The
+<phrase class="code" xml:id="intro.p5.p4.p1.p4" about="#intro.p5.p4.p1.p4" stex:srcref="paper.tex#textrange(from=94;73,to=95;17)">*.tex</phrase> files that are not excluded in the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILES</phrase> variables are
+considered as modules). Here, the <phrase class="code" xml:id="intro.p5.p4.p1.p5" about="#intro.p5.p4.p1.p5" stex:srcref="paper.tex#textrange(from=95;32,to=96;56)">background</phrase> directory for convenience. The
<phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">MODSLIBDIR</phrase> specifies the location of the prefix and postfix files
-<phrase class="code" xml:id="intro.p5.p4.p1.p3.p4" about="#intro.p5.p4.p1.p3.p4" stex:srcref="paper.tex#textrange(from=97;68,to=98;19)">pre.tex</phrase> and <phrase class="code" xml:id="intro.p5.p4.p1.p3.p5" about="#intro.p5.p4.p1.p3.p5" stex:srcref="paper.tex#textrange(from=97;44,to=98;43)">post.tex</phrase> that will be prepended and appended to the
+<phrase class="code" xml:id="intro.p5.p4.p1.p6" about="#intro.p5.p4.p1.p6" stex:srcref="paper.tex#textrange(from=97;68,to=98;19)">pre.tex</phrase> and <phrase class="code" xml:id="intro.p5.p4.p1.p7" about="#intro.p5.p4.p1.p7" stex:srcref="paper.tex#textrange(from=97;44,to=98;43)">post.tex</phrase> 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 <phrase xml:id="intro.p5.p4.p1.p3.p6" about="#intro.p5.p4.p1.p3.p6" stex:srcref="paper.tex#textrange(from=99;32,to=100;56)">sTeX</phrase> distribution and configure the
-default make target (<phrase class="code" xml:id="intro.p5.p4.p1.p3.p7" about="#intro.p5.p4.p1.p3.p7" stex:srcref="paper.tex#textrange(from=100;31,to=101;40)">make all</phrase>) to be produce the pdf version
-</p>
- <p xml:id="intro.p5.p4.p1.p4" about="#intro.p5.p4.p1.p4" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">Note that in the directory <phrase class="code" xml:id="intro.p5.p4.p1.p4.p1" about="#intro.p5.p4.p1.p4.p1" stex:srcref="paper.tex#textrange(from=102;36,to=103;49)">background</phrase> we have a very similar Makefile as
+three lines just include the Makefiles from the <phrase xml:id="intro.p5.p4.p1.p8" about="#intro.p5.p4.p1.p8" stex:srcref="paper.tex#textrange(from=99;32,to=100;56)">sTeX</phrase> distribution and configure the
+default make target (<phrase class="code" xml:id="intro.p5.p4.p1.p9" about="#intro.p5.p4.p1.p9" stex:srcref="paper.tex#textrange(from=100;31,to=101;40)">make all</phrase>) to be produce the pdf version
+Note that in the directory <phrase class="code" xml:id="intro.p5.p4.p1.p10" about="#intro.p5.p4.p1.p10" stex:srcref="paper.tex#textrange(from=102;36,to=103;49)">background</phrase> we have a very similar Makefile as
above. The only differences are that the variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">STEXDIR</phrase> is adapted and
-that the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILE</phrase> variable is set to <phrase class="code" xml:id="intro.p5.p4.p1.p4.p2" about="#intro.p5.p4.p1.p4.p2" stex:srcref="paper.tex#textrange(from=104;5,to=105;69)">pre.tex</phrase> and
-<phrase class="code" xml:id="intro.p5.p4.p1.p4.p3" about="#intro.p5.p4.p1.p4.p3" stex:srcref="paper.tex#textrange(from=105;51,to=106;20)">post.tex</phrase>, so that they are not converted. In the directory
-<phrase class="code" xml:id="intro.p5.p4.p1.p4.p4" about="#intro.p5.p4.p1.p4.p4" stex:srcref="paper.tex#textrange(from=106;56,to=107;22)">background</phrase> we have followed good practice by establishing a phony
-</p>
- </CMP>
+that the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILE</phrase> variable is set to <phrase class="code" xml:id="intro.p5.p4.p1.p11" about="#intro.p5.p4.p1.p11" stex:srcref="paper.tex#textrange(from=104;5,to=105;69)">pre.tex</phrase> and
+<phrase class="code" xml:id="intro.p5.p4.p1.p12" about="#intro.p5.p4.p1.p12" stex:srcref="paper.tex#textrange(from=105;51,to=106;20)">post.tex</phrase>, so that they are not converted. In the directory
+<phrase class="code" xml:id="intro.p5.p4.p1.p13" about="#intro.p5.p4.p1.p13" stex:srcref="paper.tex#textrange(from=106;56,to=107;22)">background</phrase> we have followed good practice by establishing a phony
+</CMP>
</omtext>
</omgroup>
</omgroup>
<omgroup layout="sectioning" xml:id="sec.math" about="#sec.math" stex:srcref="paper.tex#textrange(from=112;0,to=116;13)">
<metadata xml:id="sec.math.p1" about="#sec.math.p1" stex:srcref="paper.tex#textrange(from=112;0,to=112;50)">
- <dc:title stex:srcref="paper.tex#textrange(from=112;0,to=116;13)" xml:id="sec.math.p1.p1" about="#sec.math.p1.p1">
- <p xml:id="sec.math.p1.p1.p1" about="#sec.math.p1.p1.p1" stex:srcref="paper.tex#textrange(from=112;0,to=116;13)">Mathematical Content</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=112;0,to=116;13)" xml:id="sec.math.p1.p1" about="#sec.math.p1.p1">Mathematical Content</dc:title>
</metadata>
<omtext xml:id="sec.math.p2" about="#sec.math.p2" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)">
- <CMP xml:id="sec.math.p2.p1" about="#sec.math.p2.p1" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)">
- <p xml:id="sec.math.p2.p1.p1" about="#sec.math.p2.p1.p1" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)">We present some standard mathematical definitions, here from calculus.
-</p>
- </CMP>
+ <CMP xml:id="sec.math.p2.p1" about="#sec.math.p2.p1" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)">We present some standard mathematical definitions, here from calculus.
+</CMP>
</omtext>
<omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)">
<metadata xml:id="sec.contfuncs.p1" about="#sec.contfuncs.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=12;12)">
- <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">
- <p xml:id="sec.contfuncs.p1.p1.p1" about="#sec.contfuncs.p1.p1.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)">Continuous Functions</p>
- </dc:title>
+ <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">Continuous Functions</dc:title>
</metadata>
<theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=12;12)">
<imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
@@ -303,7 +221,7 @@ that the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUT
<m:mi mathvariant="script">C</m:mi>
<m:mn>0</m:mn>
</m:msup>
- <m:mo>⁢</m:mo>
+ <m:mo>&#x2062;</m:mo>
<m:mfenced open="(" close=")">
<m:mrow>
<render name="arg1"/>
@@ -318,7 +236,7 @@ that the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUT
<definition for="continuous" xml:id="continuous.p5" about="#continuous.p5" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
<CMP xml:id="continuous.p5.p1" about="#continuous.p5.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
<p xml:id="continuous.p5.p1.p1" about="#continuous.p5.p1.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)">
-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 <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp><phrase>continuous</phrase></idp></ide></idx> at
+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 <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp>continuous</idp></ide></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></p>
</CMP>
@@ -327,9 +245,7 @@ A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"
</omgroup>
<omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">
<metadata xml:id="sec.differentiable.p1" about="#sec.differentiable.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)">
- <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">
- <p xml:id="sec.differentiable.p1.p1.p1" about="#sec.differentiable.p1.p1.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">Differentiable Functions</p>
- </dc:title>
+ <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">Differentiable Functions</dc:title>
</metadata>
<theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)">
<imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/>
@@ -350,7 +266,7 @@ A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"
<m:mi mathvariant="script">C</m:mi>
<m:mn>1</m:mn>
</m:msup>
- <m:mo>⁢</m:mo>
+ <m:mo>&#x2062;</m:mo>
<m:mfenced open="(" close=")">
<m:mrow>
<render name="arg1"/>
@@ -365,7 +281,7 @@ A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"
<definition for="differentiable continuous" xml:id="differentiable.p4" about="#differentiable.p4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
<CMP xml:id="differentiable.p4.p1" about="#differentiable.p4.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
<p xml:id="differentiable.p4.p1.p1" about="#differentiable.p4.p1.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)">
-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 <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp><phrase>differentiable</phrase></idp></ide></idx> at
+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 <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp>differentiable</idp></ide></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>
@@ -376,24 +292,20 @@ A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"
</omgroup>
<omgroup layout="sectioning" xml:id="concl" about="#concl" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">
<metadata xml:id="concl.p1" about="#concl.p1" stex:srcref="paper.tex#textrange(from=118;0,to=118;37)">
- <dc:title stex:srcref="paper.tex#textrange(from=118;0,to=121;13)" xml:id="concl.p1.p1" about="#concl.p1.p1">
- <p xml:id="concl.p1.p1.p1" about="#concl.p1.p1.p1" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">Conclusion</p>
- </dc:title>
+ <dc:title stex:srcref="paper.tex#textrange(from=118;0,to=121;13)" xml:id="concl.p1.p1" about="#concl.p1.p1">Conclusion</dc:title>
</metadata>
<omtext xml:id="concl.p2" about="#concl.p2" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">
- <CMP xml:id="concl.p2.p1" about="#concl.p2.p1" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">
- <p xml:id="concl.p2.p1.p1" about="#concl.p2.p1.p1" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">In this note we have given an example of standard mathematical markup and shown how a a
-<phrase xml:id="concl.p2.p1.p1.p1" about="#concl.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=119;42,to=120;8)">sTeX</phrase> collection can be set up for automation.
-</p>
- </CMP>
+ <CMP xml:id="concl.p2.p1" about="#concl.p2.p1" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">In this note we have given an example of standard mathematical markup and shown how a a
+<phrase xml:id="concl.p2.p1.p1" about="#concl.p2.p1.p1" stex:srcref="paper.tex#textrange(from=119;42,to=120;8)">sTeX</phrase> collection can be set up for automation.
+</CMP>
</omtext>
</omgroup>
- <bibliography xmlns="http://dlmf.nist.gov/LaTeXML" files="kwarc" xml:id="bib"/>
+ <bibliography files="kwarc"/>
<!--The data elements-->
- <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id35821218">
+ <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id36156444">
<data format="text"><![CDATA[\begin]]></data>
</private>
- <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id35821224">
+ <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id36151430">
<data format="text"><![CDATA[\end{document}]]></data>
</private>
</omdoc>
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..cbb89e36794
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/omd/README b/Master/texmf-dist/doc/latex/stex/metakeys/README
index f655e5d95b2..56c6eea13b2 100644
--- a/Master/texmf-dist/doc/latex/stex/omd/README
+++ b/Master/texmf-dist/doc/latex/stex/metakeys/README
@@ -6,6 +6,6 @@ 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)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/omd/README $
-
+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..735b2f53ddf
--- /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
index 57bf5ac2054..822e74a199a 100644
--- a/Master/texmf-dist/doc/latex/stex/mikoslides/README
+++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README
@@ -5,5 +5,7 @@ The mikoslides class provides a practical basis for marking up slides semantical
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this document class can be found at
-https://svn.kwarc.info/repos/stex/sty/mikoslides
+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
index b5cf7c8204f..b90cbd5d30a 100644
--- a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf
+++ 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
index b260a1e9d36..bc64ed35416 100644
--- a/Master/texmf-dist/doc/latex/stex/modules/README
+++ b/Master/texmf-dist/doc/latex/stex/modules/README
@@ -16,5 +16,6 @@ added-value services, either directly from the sTeX sources, or after translatio
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/modules/README $
+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
index cd0d16b778c..19325c00531 100644
--- a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf
+++ b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf b/Master/texmf-dist/doc/latex/stex/omd/omd.pdf
deleted file mode 100644
index 550b18c8064..00000000000
--- a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README
index 80a516784ed..2a5111f8d38 100644
--- a/Master/texmf-dist/doc/latex/stex/omdoc/README
+++ b/Master/texmf-dist/doc/latex/stex/omdoc/README
@@ -7,5 +7,6 @@ This package and class supplies a the infrastructure for writing OMDoc documents
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/omdoc/README $
+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
index f30f84c833f..748bd0ba232 100644
--- a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf
+++ 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
index d4681ffbb93..579f02789b3 100644
--- a/Master/texmf-dist/doc/latex/stex/omtext/README
+++ b/Master/texmf-dist/doc/latex/stex/omtext/README
@@ -6,5 +6,7 @@ This package supplies a the infrastructure for writing OMDoc text fragments.
Copyright (c) 2010 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/omtext/README $
+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
index 418f5eef06d..eee9af67ad2 100644
--- a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf
+++ 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
index 3436ba5a327..6fd953f20d1 100644
--- a/Master/texmf-dist/doc/latex/stex/presentation/README
+++ b/Master/texmf-dist/doc/latex/stex/presentation/README
@@ -10,5 +10,7 @@ translation.
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/presentation/README $
+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
index 1d63eea05b3..e7b90a82151 100644
--- a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf
+++ 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
index 6b72fdc32a8..77b9314109e 100644
--- a/Master/texmf-dist/doc/latex/stex/problem/README
+++ b/Master/texmf-dist/doc/latex/stex/problem/README
@@ -6,5 +6,5 @@ them efficiently in multiple environments.
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
-https://svn.kwarc.info/repos/stex/sty/problem/
+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
index 063a4654aca..6f0232ee6d0 100644
--- a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf
+++ b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README
index 89c91485ed0..adc3131dbbd 100644
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/README
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README
@@ -8,5 +8,5 @@ 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/reqdoc/README $
+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
index c9610596c10..f9f7b443061 100644
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf
+++ 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
index 7f32d2f519e..6365a8adb7a 100644
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README
index 4037dce940e..0b2a9844ec0 100644
--- a/Master/texmf-dist/doc/latex/stex/sproof/README
+++ b/Master/texmf-dist/doc/latex/stex/sproof/README
@@ -7,5 +7,5 @@ either directly from the sTeX sources, or after translation via the LaTeXML syst
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/sproof/README $
+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
index fa441932ded..28f43dfe3e7 100644
--- a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf
+++ 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
index f221504c5f8..457691747cd 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/README
+++ b/Master/texmf-dist/doc/latex/stex/sref/README
@@ -5,6 +5,6 @@ This package and class supplies a the infrastructure for crossreferencing across
Copyright (c) 2009 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/sref/README $
+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
index 6f9a2e051a1..f616243640d 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/book.pdf
+++ b/Master/texmf-dist/doc/latex/stex/sref/book.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
index 4e0ef1cbeff..c3d51b8e7ff 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
+++ b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
index 91bd32bc17c..dae710266c8 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
+++ b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf
index d677132867d..1cb747475d1 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf
+++ 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
index 152239e074a..fe5c2dbbe9c 100644
--- a/Master/texmf-dist/doc/latex/stex/statements/README
+++ b/Master/texmf-dist/doc/latex/stex/statements/README
@@ -6,5 +6,5 @@ This package and class supplies a the infrastructure for writing OMDoc statement
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/statements/README $
+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
index a3e38f47b9b..031b5a52334 100644
--- a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf
+++ b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf
Binary files differ