diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex')
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 Binary files differdeleted file mode 100644 index ef791c28e01..00000000000 --- a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf Binary files differindex 7c18fa7fbcf..54bc14c8d06 100644 --- a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf +++ b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf Binary files differindex f1f1b6824a3..681044e8fdf 100644 --- a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf +++ b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf 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 Binary files differindex e240c089652..e437276fac4 100644 --- a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf +++ b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf 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">×</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">→</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">∈</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">×</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">→</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">∈</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>⁢</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="ϵ"/><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="δ"/><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="ϵ"/></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="δ"/></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>⁢</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="ϵ"/><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="δ"/><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="ϵ"/></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="δ"/></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 <citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:ulsmf08"/> and how to convert it into +OMDoc <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 “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 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 — 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 — 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 +— 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  <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 = ../..</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> +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>⁢</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="ϵ"/><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="δ"/><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="ϵ"/></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="δ"/></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>⁢</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="ϵ"/><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="δ"/><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="ϵ"/></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="δ"/></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 Binary files differnew file mode 100644 index 00000000000..cbb89e36794 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf 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 Binary files differnew file mode 100644 index 00000000000..735b2f53ddf --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf 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 Binary files differindex b5cf7c8204f..b90cbd5d30a 100644 --- a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf +++ b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf 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 Binary files differindex cd0d16b778c..19325c00531 100644 --- a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf +++ b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf diff --git a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf b/Master/texmf-dist/doc/latex/stex/omd/omd.pdf Binary files differdeleted file mode 100644 index 550b18c8064..00000000000 --- a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf +++ /dev/null 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 Binary files differindex f30f84c833f..748bd0ba232 100644 --- a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf +++ b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf 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 Binary files differindex 418f5eef06d..eee9af67ad2 100644 --- a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf +++ b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf 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 Binary files differindex 1d63eea05b3..e7b90a82151 100644 --- a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf +++ b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf 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 Binary files differindex 063a4654aca..6f0232ee6d0 100644 --- a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf +++ b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf 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 Binary files differindex c9610596c10..f9f7b443061 100644 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf Binary files differindex 7f32d2f519e..6365a8adb7a 100644 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf 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 Binary files differindex fa441932ded..28f43dfe3e7 100644 --- a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf +++ b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf 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 Binary files differindex 6f9a2e051a1..f616243640d 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/book.pdf +++ b/Master/texmf-dist/doc/latex/stex/sref/book.pdf diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf Binary files differindex 4e0ef1cbeff..c3d51b8e7ff 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf +++ b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf Binary files differindex 91bd32bc17c..dae710266c8 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf +++ b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf Binary files differindex d677132867d..1cb747475d1 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf +++ b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf 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 Binary files differindex a3e38f47b9b..031b5a52334 100644 --- a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf +++ b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf |