diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex')
86 files changed, 166 insertions, 914 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README deleted file mode 100644 index ada6fff6096..00000000000 --- a/Master/texmf-dist/doc/latex/stex/README +++ /dev/null @@ -1,13 +0,0 @@ -sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents - -This directory contains the sTeX package collection, a version of TeX/LaTeX that allows -to markup TeX/LaTeX documents semantically without leaving the document format, -essentially turning it into a document format for mathematical knowledge management -(MKM). - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version of this -package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it -is useful to include selected subdirectories of this as SVN externals. diff --git a/Master/texmf-dist/doc/latex/stex/cmath/README b/Master/texmf-dist/doc/latex/stex/cmath/README index 350b674d572..79e7d919e5b 100644 --- a/Master/texmf-dist/doc/latex/stex/cmath/README +++ b/Master/texmf-dist/doc/latex/stex/cmath/README @@ -6,7 +6,5 @@ structures as strict content MathML or OpenMath objects. Copyright (c) 2011 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf b/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf Binary files differindex f4b9ba77b08..ae6bd9ebd6e 100644 --- a/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf +++ b/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/README b/Master/texmf-dist/doc/latex/stex/cmathml/README deleted file mode 100644 index 3117561fabb..00000000000 --- a/Master/texmf-dist/doc/latex/stex/cmathml/README +++ /dev/null @@ -1,13 +0,0 @@ -cmathml.sty: Semantic Macros for Content MathML in LaTeX -cmathmlx.sty: Semantic Macros for extended Content MathML - -This package provides a collection of semantic macros for Content MathML and their LateXML -bindings. These macros form the basis of a naive translation from semantically preloaded -LaTeX formulae into the Content MathML formulae via the LaTeXML system. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -The development version of this package can be found at -$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/cmathml/README $ - diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf Binary files differdeleted file mode 100644 index 9bd3dcd750a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/cnx/README b/Master/texmf-dist/doc/latex/stex/cnx/README deleted file mode 100644 index 113b526364f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/cnx/README +++ /dev/null @@ -1,13 +0,0 @@ -cnx.cls: A LaTeX-based Syntax for Connexions Modules - -The cnx class is a collection of TeX macros that allow to write Connexions modules in the -CNXLaTeX format without leaving the LaTeX workflow. Modules are authored using cnx.cls -using only a text editor, transformed to PDF and proofread as usual. For publication, -CNXLaTeX modules are transformed to CNXML via the LaTeXML translator and can be uploaded -to the Connexions system. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -The development version of this package can be found at -$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/cnx/README $ diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf Binary files differdeleted file mode 100644 index 0746400edab..00000000000 --- a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/dcm/README b/Master/texmf-dist/doc/latex/stex/dcm/README index d2bc0ddac9c..34ce1bcdb96 100644 --- a/Master/texmf-dist/doc/latex/stex/dcm/README +++ b/Master/texmf-dist/doc/latex/stex/dcm/README @@ -3,12 +3,7 @@ dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX document The dcm packge allows mark up Dublin Core Metadata in LaTeX documents that can be harvested by automated tools or exported to PDF. -The file dcmi.tex is an sTeX ontology file for the DCM relations. - Copyright (c) 2008 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/dcm - +Project home: https://github.com/KWARC/sTeX/ 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 67d7607ec09..cee8e71194b 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/Makefile b/Master/texmf-dist/doc/latex/stex/example/Makefile index df87da1fbee..47c61882663 100644 --- a/Master/texmf-dist/doc/latex/stex/example/Makefile +++ b/Master/texmf-dist/doc/latex/stex/example/Makefile @@ -1,4 +1,4 @@ STEXDIR = .. MAKEDIRS = background paper CLEANDIRS = $(MAKEDIRS) -include $(STEXDIR)/make/Makefile.subdirs +include $(STEXDIR)/lib/make/Makefile.subdirs diff --git a/Master/texmf-dist/doc/latex/stex/example/README b/Master/texmf-dist/doc/latex/stex/example/README index 7424d68ebca..fdba0ac819c 100644 --- a/Master/texmf-dist/doc/latex/stex/example/README +++ b/Master/texmf-dist/doc/latex/stex/example/README @@ -11,8 +11,6 @@ background: a directory with background modules, this is assumed to would probably be a subversion external. paper: a directory with a paper based on two modules and the background modules. -test: a directory that has the makefiles to accomodate your tests; - just copy your files there adjust TARGET and type make. For an explanation of the design of the example see paper/example.pdf or https://trac.kwarc.info/sTeX/wiki/sTeXCollections diff --git a/Master/texmf-dist/doc/latex/stex/example/background/Makefile b/Master/texmf-dist/doc/latex/stex/example/background/Makefile index af7cc21e5eb..505b02c9e14 100644 --- a/Master/texmf-dist/doc/latex/stex/example/background/Makefile +++ b/Master/texmf-dist/doc/latex/stex/example/background/Makefile @@ -3,6 +3,6 @@ TARGET = all.tex BUTFILES = pre.tex post.tex MODSLIBDIR = . -include $(STEXDIR)/make/Makefile.vars -all: omdoc mods pdf -include $(STEXDIR)/make/Makefile.in +include $(STEXDIR)/lib/make/Makefile.vars +all: pdf mpdf +include $(STEXDIR)/lib/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc deleted file mode 100644 index af660821194..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc +++ /dev/null @@ -1,155 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:omdoc="http://omdoc.org/ns" stex:srcref="all.tex#textrange(from=5;1,to=5;17)" xml:id="all.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1"> - <p xml:id="sec.functions.p1.p1.p1" about="#sec.functions.p1.p1.p1" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)">Functions</p> - </dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <notation cd="functions" name="cart"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="cart"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <iterate name="args"> - <separator> - <m:mo cr="fun">×</m:mo> - </separator> - <render name="arg"/> - </iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <notation cd="functions" name="fun"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - <expr name="arg3"/> - </om:OMA> - </prototype> - <rendering precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="200"/> - <m:mo cr="fun">:</m:mo> - <render name="arg2" precedence="200"/> - <m:mo cr="fun">→</m:mo> - <render name="arg3" precedence="200"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <notation cd="functions" name="inset"> - <prototype> - <om:OMA> - <om:OMS cd="functions" cr="fun" name="inset"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="650"/> - <m:mo cr="fun">∈</m:mo> - <render name="arg2" precedence="650"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"/> - <definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <CMP xml:id="functions.def.p1" about="#functions.def.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> - <p xml:id="functions.def.p1.p1" about="#functions.def.p1.p1" stex:srcref="functions.tex#textrange(from=7;0,to=9;16)"> -A <idx xml:id="functions.def.p1.p1.p1" about="#functions.def.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)"><idt><term cd="functions" name="function" role="definiendum" xml:id="functions.def.p1.p1.p1.p1" about="#functions.def.p1.p1.p1.p1" stex:srcref="functions.tex#textrange(from=7;68,to=8;21)">function</term></idt><ide index="default"><idp><phrase>function</phrase></idp></ide></idx><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ></p> - </CMP> - </definition> - </theory> - </omgroup> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1"> - <p xml:id="sec.reals.p1.p1.p1" about="#sec.reals.p1.p1.p1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</p> - </dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <notation cd="reals" name="RealNumbers"> - <prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </prototype> - <rendering> - <m:mi mathvariant="double-struck">R</m:mi> - </rendering> - </notation> - <symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <notation cd="reals" name="absval"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <expr name="arg1"/> - </om:OMA> - </prototype> - <rendering precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <m:mo cr="fun">|</m:mo> - <render name="arg1" precedence="2000"/> - <m:mo cr="fun">|</m:mo> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <notation cd="reals" name="rfrac"> - <prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <rendering> - <m:mfrac> - <render name="arg1"/> - <render name="arg2"/> - </m:mfrac> - </rendering> - </notation> - <symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <CMP xml:id="reals.def.p1" about="#reals.def.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xml:id="reals.def.p1.p1" about="#reals.def.p1.p1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> -We denote the set of <idx xml:id="reals.def.p1.p1.p1" about="#reals.def.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)"><idt><term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.p1.p1.p1.p1" about="#reals.def.p1.p1.p1.p1" stex:srcref="reals.tex#textrange(from=7;27,to=8;47)">real numbers</term></idt><ide index="default"><idp><phrase>real</phrase></idp><idp><phrase>numbers</phrase></idp></ide></idx> we all know and love with -<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>. -</p> - </CMP> - </definition> - <definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <CMP xml:id="absval.def.p1" about="#absval.def.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xml:id="absval.def.p1.p1" about="#absval.def.p1.p1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> -The absolute value <om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ> of a real number <om:OMOBJ><om:OMV name="r"/></om:OMOBJ>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!--The data elements--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.pdf b/Master/texmf-dist/doc/latex/stex/example/background/all.pdf Binary files differnew file mode 100644 index 00000000000..cb697217173 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.pdf 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 68f4ab80859..72adb2e3b2a 100644 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc @@ -1,13 +1,14 @@ <?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <omdoc:omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=18;13)"> - <omdoc:metadata xml:id="sec.functions.metadata1" about="#sec.functions.metadata1" stex:srcref="functions.tex#textrange(from=1;0,to=17;12)"> - <dc:title xml:id="sec.functions.metadata1.title1" about="#sec.functions.metadata1.title1" stex:srcref="functions.tex#textrange(from=1;0,to=18;13)">Functions</dc:title> +<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you + may want to reconsider editing it.--> +<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns: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" xml:id="omdoc1" about="#omdoc1" stex:srcref="Literal String \documentc#textrange(from=1;0,to=0;0)"> + <omdoc:omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)"> + <omdoc:metadata xml:id="sec.functions.metadata1" about="#sec.functions.metadata1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)"> + <dc:title xml:id="sec.functions.metadata1.title1" about="#sec.functions.metadata1.title1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)">Functions</dc:title> </omdoc:metadata> - <theory xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=17;12)"> - <omdoc:symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <omdoc:notation cd="functions" name="cart"> + <omdoc:theory xml:id="functions" about="#functions" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=2;0,to=17;12)"> + <omdoc:symbol name="cart" xml:id="functions.symbol1" about="#functions.symbol1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=3;0,to=3;55)"/> + <omdoc:notation cd="functions" name="cart" stex:macro_name="cart" stex:nargs="1" xml:id="functions.notation2" about="#functions.notation2" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=3;0,to=3;55)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="cart"/> @@ -17,20 +18,16 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering precedence="500"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <omdoc:iterate name="args"> - <omdoc:separator> - <m:mo cr="fun">×</m:mo> - </omdoc:separator> - <omdoc:render name="arg"/> - </omdoc:iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:iterate name="args"> + <omdoc:separator> + <m:mo cr="fun">×</m:mo> + </omdoc:separator> + <omdoc:render name="arg"/> + </omdoc:iterate> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="fun" xml:id="fun.sym" about="#fun.sym" stex:srcref="functions.tex#textrange(from=4;1,to=4;72)"/> - <omdoc:notation cd="functions" name="fun"> + <omdoc:symbol name="fun" xml:id="functions.symbol3" about="#functions.symbol3" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=4;0,to=4;71)"/> + <omdoc:notation cd="functions" name="fun" stex:macro_name="fun" stex:nargs="3" xml:id="functions.notation4" about="#functions.notation4" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=4;0,to=4;71)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="fun"/> @@ -40,19 +37,15 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering precedence="200"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="200"/> - <m:mo cr="fun">:</m:mo> - <render name="arg2" precedence="200"/> - <m:mo cr="fun">→</m:mo> - <render name="arg3" precedence="200"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:render name="arg1" precedence="200"/> + <m:mo cr="fun">:</m:mo> + <omdoc:render name="arg2" precedence="200"/> + <m:mo cr="fun">→</m:mo> + <omdoc:render name="arg3" precedence="200"/> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="inset" xml:id="inset.sym" about="#inset.sym" stex:srcref="functions.tex#textrange(from=5;1,to=5;46)"/> - <omdoc:notation cd="functions" name="inset"> + <omdoc:symbol name="inset" xml:id="functions.symbol5" about="#functions.symbol5" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=5;0,to=5;45)"/> + <omdoc:notation cd="functions" name="inset" stex:macro_name="inset" stex:nargs="2" xml:id="functions.notation6" about="#functions.notation6" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=5;0,to=5;45)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="inset"/> @@ -61,17 +54,13 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering precedence="650"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="650"/> - <m:mo cr="fun">∈</m:mo> - <render name="arg2" precedence="650"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:render name="arg1" precedence="650"/> + <m:mo cr="fun">∈</m:mo> + <omdoc:render name="arg2" precedence="650"/> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="sseteq" xml:id="sseteq.sym" about="#sseteq.sym" stex:srcref="functions.tex#textrange(from=6;0,to=6;41)"/> - <omdoc:notation cd="functions" name="sseteq"> + <omdoc:symbol name="sseteq" xml:id="functions.symbol7" about="#functions.symbol7" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=6;0,to=6;41)"/> + <omdoc:notation cd="functions" name="sseteq" stex:macro_name="sseteqOp" stex:nargs="0" xml:id="functions.notation8" about="#functions.notation8" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=6;0,to=6;41)"> <omdoc:prototype> <om:OMS cd="functions" name="sseteq"/> </omdoc:prototype> @@ -79,7 +68,8 @@ <m:mo>⊆</m:mo> </omdoc:rendering> </omdoc:notation> - <omdoc:notation cd="functions" name="sseteq"> + <omdoc:symbol name="sseteq" xml:id="functions.symbol9" about="#functions.symbol9" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=7;0,to=7;50)"/> + <omdoc:notation cd="functions" name="sseteq" stex:macro_name="sseteq" stex:nargs="2" xml:id="functions.notation10" about="#functions.notation10" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=7;0,to=7;50)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="sseteq"/> @@ -88,17 +78,13 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering precedence="300"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="300"/> - <m:mo cr="fun">⊆</m:mo> - <render name="arg2" precedence="300"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:render name="arg1" precedence="300"/> + <m:mo cr="fun">⊆</m:mo> + <omdoc:render name="arg2" precedence="300"/> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="tup" xml:id="tup.sym" about="#tup.sym" stex:srcref="functions.tex#textrange(from=8;1,to=8;34)"/> - <omdoc:notation cd="functions" name="tup"> + <omdoc:symbol name="tup" xml:id="functions.symbol11" about="#functions.symbol11" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=8;0,to=8;33)"/> + <omdoc:notation cd="functions" name="tup" stex:macro_name="tup" stex:nargs="1" xml:id="functions.notation12" about="#functions.notation12" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=8;0,to=8;33)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="tup"/> @@ -106,12 +92,14 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering> - <m:mfenced open="⟨" close="⟩"> - <render name="arg1"/> - </m:mfenced> + <m:mrow> + <m:mo stretchy="false">⟨</m:mo> + <omdoc:render name="arg1"/> + <m:mo stretchy="false">⟩</m:mo> + </m:mrow> </omdoc:rendering> </omdoc:notation> - <omdoc:notation cd="functions" name="cart"> + <omdoc:notation cd="functions" name="cart" stex:macro_name="cart" stex:nargs="1" xml:id="functions.notation13" about="#functions.notation13" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=9;0,to=9;34)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="cart"/> @@ -119,20 +107,16 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <omdoc:iterate name="args"> - <omdoc:separator> - <m:mo cr="fun">×</m:mo> - </omdoc:separator> - <omdoc:render name="arg"/> - </omdoc:iterate> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:iterate name="args"> + <omdoc:separator> + <m:mo cr="fun">×</m:mo> + </omdoc:separator> + <omdoc:render name="arg"/> + </omdoc:iterate> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="setdiff" xml:id="setdiff.sym" about="#setdiff.sym" stex:srcref="functions.tex#textrange(from=10;0,to=10;44)"/> - <omdoc:notation cd="functions" name="setdiff"> + <omdoc:symbol name="setdiff" xml:id="functions.symbol14" about="#functions.symbol14" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=10;0,to=10;44)"/> + <omdoc:notation cd="functions" name="setdiff" stex:macro_name="setdiffOp" stex:nargs="0" xml:id="functions.notation15" about="#functions.notation15" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=10;0,to=10;44)"> <omdoc:prototype> <om:OMS cd="functions" name="setdiff"/> </omdoc:prototype> @@ -140,7 +124,8 @@ <m:mo>\</m:mo> </omdoc:rendering> </omdoc:notation> - <omdoc:notation cd="functions" name="setdiff"> + <omdoc:symbol name="setdiff" xml:id="functions.symbol16" about="#functions.symbol16" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=11;0,to=11;59)"/> + <omdoc:notation cd="functions" name="setdiff" stex:macro_name="setdiff" stex:nargs="2" xml:id="functions.notation17" about="#functions.notation17" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=11;0,to=11;59)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="setdiff"/> @@ -149,17 +134,13 @@ </om:OMA> </omdoc:prototype> <omdoc:rendering precedence="600"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="600"/> - <m:mo cr="fun">\</m:mo> - <render name="arg2" precedence="600"/> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:render name="arg1" precedence="600"/> + <m:mo cr="fun">\</m:mo> + <omdoc:render name="arg2" precedence="600"/> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="set" xml:id="set.sym" about="#set.sym" stex:srcref="functions.tex#textrange(from=12;0,to=12;62)"/> - <omdoc:notation cd="functions" name="set"> + <omdoc:symbol name="set" xml:id="functions.symbol18" about="#functions.symbol18" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=12;0,to=12;62)"/> + <omdoc:notation cd="functions" name="set" stex:macro_name="set" stex:nargs="1" xml:id="functions.notation19" about="#functions.notation19" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=12;0,to=12;62)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="set"/> @@ -168,23 +149,19 @@ </omdoc:exprlist> </om:OMA> </omdoc:prototype> - <omdoc:rendering precedence="1000000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <m:mo cr="fun">{</m:mo> - <omdoc:iterate name="args" precedence="-1000000"> - <omdoc:separator> - <m:mo cr="fun">,</m:mo> - </omdoc:separator> - <omdoc:render name="arg" precedence="-1000000"/> - </omdoc:iterate> - <m:mo cr="fun">}</m:mo> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:rendering> + <m:mo cr="fun">{</m:mo> + <omdoc:iterate name="args" precedence="neginfty"> + <omdoc:separator> + <m:mo cr="fun">,</m:mo> + </omdoc:separator> + <omdoc:render name="arg" precedence="neginfty"/> + </omdoc:iterate> + <m:mo cr="fun">}</m:mo> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="setst" xml:id="setst.sym" about="#setst.sym" stex:srcref="functions.tex#textrange(from=13;1,to=13;67)"/> - <omdoc:notation cd="functions" name="setst"> + <omdoc:symbol name="setst" xml:id="functions.symbol20" about="#functions.symbol20" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=13;0,to=13;66)"/> + <omdoc:notation cd="functions" name="setst" stex:macro_name="setst" stex:nargs="2" xml:id="functions.notation21" about="#functions.notation21" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=13;0,to=13;66)"> <omdoc:prototype> <om:OMA> <om:OMS cd="functions" cr="fun" name="setst"/> @@ -192,24 +169,19 @@ <omdoc:expr name="arg2"/> </om:OMA> </omdoc:prototype> - <omdoc:rendering precedence="1000000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <m:mo cr="fun">{</m:mo> - <render name="arg1" precedence="-1000000"/> - <m:mo cr="fun">∣</m:mo> - <render name="arg2" precedence="-1000000"/> - <m:mo cr="fun">}</m:mo> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> + <omdoc:rendering> + <m:mo cr="fun">{</m:mo> + <omdoc:render name="arg1" precedence="neginfty"/> + <m:mo cr="fun">∣</m:mo> + <omdoc:render name="arg2" precedence="neginfty"/> + <m:mo cr="fun">}</m:mo> </omdoc:rendering> </omdoc:notation> - <omdoc:symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)"/> - <omdoc:definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)"> - <omdoc:CMP xml:id="functions.def.CMP1" about="#functions.def.CMP1" stex:srcref="functions.tex#textrange(from=14;0,to=16;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="functions.def.CMP1.p1">A <omdoc:idx xml:id="functions.def.CMP1.p1.idx1" about="#functions.def.CMP1.p1.idx1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:idt xml:id="functions.def.CMP1.p1.idx1.idt1" about="#functions.def.CMP1.p1.idx1.idt1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:term cd="functions" name="function" role="definiendum" xml:id="functions.def.CMP1.p1.idx1.idt1.term1" about="#functions.def.CMP1.p1.idx1.idt1.term1" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)">function</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="functions.def.CMP1.p1.idx1.ide2" about="#functions.def.CMP1.p1.idx1.ide2" stex:srcref="functions.tex#textrange(from=14;68,to=15;19)"><omdoc:idp>function</omdoc:idp></omdoc:ide></omdoc:idx><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ></p> - </omdoc:CMP> + <omdoc:symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=16;16)"/> + <omdoc:definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=16;16)"> + <omdoc:CMP xml:id="functions.def.CMP1" about="#functions.def.CMP1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=14;36)"> +<p xmlns="http://www.w3.org/1999/xhtml" id="functions.def.CMP1.p1" class="ltx_p" about="#functions.def.CMP1.p1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=14;36)">A <omdoc:term cd="functions" name="function" role="definiendum" xml:id="functions.def.CMP1.p1.term1" about="#functions.def.CMP1.p1.term1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;67,to=15;20)">function</omdoc:term> <om:OMOBJ stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;61,to=15;32)"><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="𝑓"/><om:OMV name="𝐴"/><om:OMV name="𝐵"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;6,to=15;87)"><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="𝐴"/><om:OMV name="𝐵"/></om:OMA></om:OMOBJ></p></omdoc:CMP> </omdoc:definition> - </theory> + </omdoc:theory> </omdoc:omgroup> </omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.pdf b/Master/texmf-dist/doc/latex/stex/example/background/functions.pdf Binary files differnew file mode 100644 index 00000000000..3a3765f9904 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms deleted file mode 100644 index ee824b72754..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms +++ /dev/null @@ -1,13 +0,0 @@ -\begin{module}[id=functions]% -\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}}% -\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}}% -\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}}% -\symdef[name=sseteq]{sseteqOp}{\subseteq} % -\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}} % -\symdef{tup}[1]{\langle#1\rangle}% -\symdef{cart}[1]{\assoc\times{#1}}% -\symdef[name=setdiff]{setdiffOp}{\backslash}% -\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}} % -\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}% -\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}}% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc deleted file mode 100644 index 388eeb1a08f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc +++ /dev/null @@ -1,67 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <omdoc:omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <omdoc:metadata xml:id="sec.reals.metadata1" about="#sec.reals.metadata1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title xml:id="sec.reals.metadata1.title1" about="#sec.reals.metadata1.title1" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)">Real Numbers</dc:title> - </omdoc:metadata> - <theory xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <omdoc:symbol name="RealNumbers" xml:id="RealNumbers.sym" about="#RealNumbers.sym" stex:srcref="reals.tex#textrange(from=3;1,to=3;33)"/> - <omdoc:notation cd="reals" name="RealNumbers"> - <omdoc:prototype> - <om:OMS cd="reals" name="RealNumbers"/> - </omdoc:prototype> - <omdoc:rendering> - <m:mi mathvariant="double-struck">R</m:mi> - </omdoc:rendering> - </omdoc:notation> - <omdoc:symbol name="absval" xml:id="absval.sym" about="#absval.sym" stex:srcref="reals.tex#textrange(from=4;1,to=4;43)"/> - <omdoc:notation cd="reals" name="absval"> - <omdoc:prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="absval"/> - <omdoc:expr name="arg1"/> - </om:OMA> - </omdoc:prototype> - <omdoc:rendering precedence="2000"> - <m:mrow> - <m:mo egroup="fence" fence="true">(</m:mo> - <m:mo cr="fun">|</m:mo> - <render name="arg1" precedence="2000"/> - <m:mo cr="fun">|</m:mo> - <m:mo egroup="fence" fence="true">)</m:mo> - </m:mrow> - </omdoc:rendering> - </omdoc:notation> - <omdoc:symbol name="rfrac" xml:id="rfrac.sym" about="#rfrac.sym" stex:srcref="reals.tex#textrange(from=5;1,to=5;33)"/> - <omdoc:notation cd="reals" name="rfrac"> - <omdoc:prototype> - <om:OMA> - <om:OMS cd="reals" cr="fun" name="rfrac"/> - <omdoc:expr name="arg1"/> - <omdoc:expr name="arg2"/> - </om:OMA> - </omdoc:prototype> - <omdoc:rendering> - <m:mfrac> - <render name="arg1"/> - <render name="arg2"/> - </m:mfrac> - </omdoc:rendering> - </omdoc:notation> - <omdoc:symbol name="real-numbers" xml:id="real-numbers.def.sym" about="#real-numbers.def.sym" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"/> - <omdoc:definition for="real-numbers" xml:id="reals.def" about="#reals.def" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <omdoc:CMP xml:id="reals.def.CMP1" about="#reals.def.CMP1" stex:srcref="reals.tex#textrange(from=7;0,to=10;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="reals.def.CMP1.p1">We denote the set of <omdoc:idx xml:id="reals.def.CMP1.p1.idx1" about="#reals.def.CMP1.p1.idx1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:idt xml:id="reals.def.CMP1.p1.idx1.idt1" about="#reals.def.CMP1.p1.idx1.idt1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:term cd="reals" name="real-numbers" role="definiendum" xml:id="reals.def.CMP1.p1.idx1.idt1.term1" about="#reals.def.CMP1.p1.idx1.idt1.term1" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)">real numbers</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="reals.def.CMP1.p1.idx1.ide2" about="#reals.def.CMP1.p1.idx1.ide2" stex:srcref="reals.tex#textrange(from=7;27,to=8;44)"><omdoc:idp>real</omdoc:idp><omdoc:idp>numbers</omdoc:idp></omdoc:ide></omdoc:idx> we all know and love with -<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>.</p> - </omdoc:CMP> - </omdoc:definition> - <omdoc:definition xml:id="absval.def" about="#absval.def" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <omdoc:CMP xml:id="absval.def.CMP1" about="#absval.def.CMP1" stex:srcref="reals.tex#textrange(from=12;0,to=14;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="absval.def.CMP1.p1">The absolute value <om:OMOBJ><om:OMA><om:OMS cd="reals" name="absval"/><om:OMV name="r"/></om:OMA></om:OMOBJ> of a real number <om:OMOBJ><om:OMV name="r"/></om:OMOBJ>.</p> - </omdoc:CMP> - </omdoc:definition> - </theory> - </omdoc:omgroup> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.pdf b/Master/texmf-dist/doc/latex/stex/example/background/reals.pdf Binary files differnew file mode 100644 index 00000000000..3d86cf28b07 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.sms b/Master/texmf-dist/doc/latex/stex/example/background/reals.sms deleted file mode 100644 index 437865ee78c..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.sms +++ /dev/null @@ -1,5 +0,0 @@ -\begin{module}[id=reals]% -\symdef{RealNumbers}{\mathbb{R}}% -\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}% -\symdef{rfrac}[2]{\frac{#1}{#2}}% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile index 1b71727ec2f..3d1a8d0e136 100644 --- a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile +++ b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile @@ -2,6 +2,6 @@ STEXDIR = ../.. TARGET = paper.tex MODSLIBDIR = ../background -include $(STEXDIR)/make/Makefile.vars -all: omdoc mods pdf -include $(STEXDIR)/make/Makefile.in +include $(STEXDIR)/lib/make/Makefile.vars +all: pdf mpdf +include $(STEXDIR)/lib/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc deleted file mode 100644 index 19c248a26dd..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc +++ /dev/null @@ -1,53 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <omdoc:omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=16;13)"> - <omdoc:metadata xml:id="sec.contfuncs.metadata1" about="#sec.contfuncs.metadata1" stex:srcref="continuous.tex#textrange(from=1;0,to=15;12)"> - <dc:title xml:id="sec.contfuncs.metadata1.title1" about="#sec.contfuncs.metadata1.title1" stex:srcref="continuous.tex#textrange(from=1;0,to=16;13)">Continuous Functions</dc:title> - </omdoc:metadata> - <theory xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=15;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <omdoc:imports from="../background/functions.omdoc#functions" xml:id="continuous.imports1" about="#continuous.imports1" stex:srcref="continuous.tex#textrange(from=3;0,to=3;46)"/> - <omdoc:imports from="../background/reals.omdoc#reals" xml:id="continuous.imports2" about="#continuous.imports2" stex:srcref="continuous.tex#textrange(from=4;0,to=4;38)"/> - <omdoc:symbol name="continuousfunctions" xml:id="continuousfunctions.sym" about="#continuousfunctions.sym" stex:srcref="continuous.tex#textrange(from=5;1,to=5;54)"/> - <omdoc:notation cd="continuous" name="continuousfunctions"> - <omdoc:prototype> - <om:OMA> - <om:OMS cd="continuous" cr="fun" name="continuousfunctions"/> - <omdoc:expr name="arg1"/> - <omdoc:expr name="arg2"/> - </om:OMA> - </omdoc:prototype> - <omdoc:rendering> - <m:mrow> - <m:msup> - <m:mi mathvariant="script">C</m:mi> - <m:mn>0</m:mn> - </m:msup> - <m:mo>⁢</m:mo> - <m:mfenced open="(" close=")"> - <m:mrow> - <render name="arg1"/> - <m:mo>,</m:mo> - <render name="arg2"/> - </m:mrow> - </m:mfenced> - </m:mrow> - </omdoc:rendering> - </omdoc:notation> - <omdoc:symbol name="continuous" xml:id="continuous.def.sym" about="#continuous.def.sym" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"/> - <omdoc:symbol name="continuous-on" xml:id="continuous-on.def.sym" about="#continuous-on.def.sym" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"/> - <omdoc:definition for="continuousfunctions continuous continuous-on" xml:id="continuous.definition6" about="#continuous.definition6" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"> - <omdoc:CMP xml:id="continuous.definition6.CMP1" about="#continuous.definition6.CMP1" stex:srcref="continuous.tex#textrange(from=7;0,to=14;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="continuous.definition6.CMP1.p1">A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <omdoc:idx xml:id="continuous.definition6.CMP1.p1.idx2" about="#continuous.definition6.CMP1.p1.idx2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:idt xml:id="continuous.definition6.CMP1.p1.idx2.idt1" about="#continuous.definition6.CMP1.p1.idx2.idt1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.definition6.CMP1.p1.idx2.idt1.term1" about="#continuous.definition6.CMP1.p1.idx2.idt1.term1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)">continuous</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="continuous.definition6.CMP1.p1.idx2.ide2" about="#continuous.definition6.CMP1.p1.idx2.ide2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;75)"><omdoc:idp>continuous</omdoc:idp></omdoc:ide></omdoc:idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><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>. It is called -<omdoc:idx xml:id="continuous.definition6.CMP1.p1.idx8" about="#continuous.definition6.CMP1.p1.idx8" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:idt xml:id="continuous.definition6.CMP1.p1.idx8.idt1" about="#continuous.definition6.CMP1.p1.idx8.idt1" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:term cd="continuous" name="continuous-on" role="definiendum" xml:id="continuous.definition6.CMP1.p1.idx8.idt1.term1" about="#continuous.definition6.CMP1.p1.idx8.idt1.term1" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)">continuous on</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="continuous.definition6.CMP1.p1.idx8.ide2" about="#continuous.definition6.CMP1.p1.idx8.ide2" stex:srcref="continuous.tex#textrange(from=10;60,to=11;25)"><omdoc:idp>continuous</omdoc:idp><omdoc:idp>on</omdoc:idp></omdoc:ide></omdoc:idx> a set <om:OMOBJ><om:OMA><om:OMS cd="functions" name="sseteq"/><om:OMV name="S"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff is is continous at all -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMV name="S"/></om:OMA></om:OMOBJ>, the set of all such functions is denoted with <om:OMOBJ><om:OMA><om:OMS cd="continuous" name="continuousfunctions"/><om:OMV name="S"/><om:OMV name="T"/></om:OMA></om:OMOBJ>, -if <om:OMOBJ><om:OMA><om:OMS cd="functions" name="sseteq"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="S"/></om:OMA><om:OMV name="T"/></om:OMA></om:OMOBJ>.</p> - </omdoc:CMP> - </omdoc:definition> - </theory> - </omdoc:omgroup> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.pdf Binary files differnew file mode 100644 index 00000000000..7231d2b1fd9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms deleted file mode 100644 index 6d42d0f52a6..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms +++ /dev/null @@ -1,6 +0,0 @@ -\begin{module}[id=continuous]% -\importmodule[\backmods{functions}]{functions}% -\importmodule[\backmods{reals}]{reals}% -\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}% -\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex index 96a8edd9123..dc90911f54b 100644 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex @@ -1,7 +1,7 @@ \begin{omgroup}[id=sec.contfuncs]{Continuous Functions} \begin{module}[id=continuous] -\importmodule[\backmods{functions}]{functions} -\importmodule[\backmods{reals}]{reals} +\importmodule[load=\backmods{functions}]{functions} +\importmodule[load=\backmods{reals}]{reals} \symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)} \abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers} \begin{definition}[for=continuousfunctions] diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc deleted file mode 100644 index 72cd7588bfd..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc +++ /dev/null @@ -1,48 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <omdoc:omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)"> - <omdoc:metadata xml:id="sec.differentiable.metadata1" about="#sec.differentiable.metadata1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)"> - <dc:title xml:id="sec.differentiable.metadata1.title1" about="#sec.differentiable.metadata1.title1" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)">Differentiable Functions</dc:title> - </omdoc:metadata> - <theory xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <omdoc:imports from="./continuous.omdoc#continuous" xml:id="differentiable.imports1" about="#differentiable.imports1" stex:srcref="differentiable.tex#textrange(from=3;0,to=3;37)"/> - <omdoc:symbol name="difffunctions" xml:id="difffunctions.sym" about="#difffunctions.sym" stex:srcref="differentiable.tex#textrange(from=4;1,to=4;48)"/> - <omdoc:notation cd="differentiable" name="difffunctions"> - <omdoc:prototype> - <om:OMA> - <om:OMS cd="differentiable" cr="fun" name="difffunctions"/> - <omdoc:expr name="arg1"/> - <omdoc:expr name="arg2"/> - </om:OMA> - </omdoc:prototype> - <omdoc:rendering> - <m:mrow> - <m:msup> - <m:mi mathvariant="script">C</m:mi> - <m:mn>1</m:mn> - </m:msup> - <m:mo>⁢</m:mo> - <m:mfenced open="(" close=")"> - <m:mrow> - <render name="arg1"/> - <m:mo>,</m:mo> - <render name="arg2"/> - </m:mrow> - </m:mfenced> - </m:mrow> - </omdoc:rendering> - </omdoc:notation> - <omdoc:symbol name="differentiable" xml:id="differentiable.def.sym" about="#differentiable.def.sym" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"/> - <omdoc:definition for="differentiable" xml:id="differentiable.definition4" about="#differentiable.definition4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <omdoc:CMP xml:id="differentiable.definition4.CMP1" about="#differentiable.definition4.CMP1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="differentiable.definition4.CMP1.p1">A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <omdoc:idx xml:id="differentiable.definition4.CMP1.p1.idx2" about="#differentiable.definition4.CMP1.p1.idx2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:idt xml:id="differentiable.definition4.CMP1.p1.idx2.idt1" about="#differentiable.definition4.CMP1.p1.idx2.idt1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.definition4.CMP1.p1.idx2.idt1.term1" about="#differentiable.definition4.CMP1.p1.idx2.idt1.term1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)">differentiable</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="differentiable.definition4.CMP1.p1.idx2.ide2" about="#differentiable.definition4.CMP1.p1.idx2.ide2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;78)"><omdoc:idp>differentiable</omdoc:idp></omdoc:ide></omdoc:idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><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> - </omdoc:CMP> - </omdoc:definition> - </theory> - </omdoc:omgroup> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.pdf Binary files differnew file mode 100644 index 00000000000..884d41ac3bc --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms deleted file mode 100644 index cb2122c1064..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms +++ /dev/null @@ -1,5 +0,0 @@ -\begin{module}[id=differentiable]% -\importmodule[continuous]{continuous}% -\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}% -\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex index fca1c7fe252..da999f014db 100644 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex @@ -1,6 +1,6 @@ \begin{omgroup}[id=sec.differentiable]{Differentiable Functions} \begin{module}[id=differentiable] -\importmodule[continuous]{continuous} +\importmodule[load=continuous]{continuous} \symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)} \abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers} \begin{definition} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc deleted file mode 100644 index a4fe8c85f96..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc +++ /dev/null @@ -1,145 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <omdoc:omgroup layout="sectioning" xml:id="intro" about="#intro" stex:srcref="intro.tex#textrange(from=1;0,to=91;13)"><omdoc:metadata xml:id="intro.metadata1" about="#intro.metadata1" stex:srcref="intro.tex#textrange(from=1;0,to=1;39)"><dc:title xml:id="intro.metadata1.title1" about="#intro.metadata1.title1" stex:srcref="intro.tex#textrange(from=1;0,to=91;13)">Introduction</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.p1"> - <p style="" class="p" id="intro.p1.p1">We will show how to semantically mark up mathematics in the sTeX -format <cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:ulsmf08"/>]</cite> and how to convert it into -OMDoc <cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:omdoc1.3"/>]</cite>.</p> - </div> - - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.p2"> - <p style="" class="p" id="intro.p2.p1">We have some mathematical material in <omdoc:oref href="#sec.math"/> which will serve as example -content. In the rest of this section we will explain the setup of the example and -present an approach to automation of the OMDoc conversion via Unix Makefiles.</p> - </div> -<omdoc:omgroup layout="sectioning" xml:id="intro.omgroup4" about="#intro.omgroup4" stex:srcref="intro.tex#textrange(from=9;0,to=43;13)"><omdoc:metadata xml:id="intro.omgroup4.metadata1" about="#intro.omgroup4.metadata1" stex:srcref="intro.tex#textrange(from=9;0,to=42;12)"><dc:title xml:id="intro.omgroup4.metadata1.title1" about="#intro.omgroup4.metadata1.title1" stex:srcref="intro.tex#textrange(from=9;0,to=43;13)">The Setup</dc:title></omdoc:metadata><theory xml:id="setup" about="#setup" stex:srcref="intro.tex#textrange(from=10;0,to=42;12)"><omdoc:symbol name="target" xml:id="target.def.sym" about="#target.def.sym" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"/><omdoc:symbol name="module" xml:id="module.def.sym" about="#module.def.sym" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"/><omdoc:definition for="target module" xml:id="setup.definition3" about="#setup.definition3" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"><omdoc:CMP xml:id="setup.definition3.CMP1" about="#setup.definition3.CMP1" stex:srcref="intro.tex#textrange(from=11;0,to=18;20)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.definition3.CMP1.p1">The source of this note is contained in the file <span style="" class="text typewriter">paper.tex</span>. We call it -the <omdoc:idx xml:id="setup.definition3.CMP1.p1.idx1" about="#setup.definition3.CMP1.p1.idx1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:idt xml:id="setup.definition3.CMP1.p1.idx1.idt1" about="#setup.definition3.CMP1.p1.idx1.idt1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:term cd="setup" name="target" role="definiendum" xml:id="setup.definition3.CMP1.p1.idx1.idt1.term1" about="#setup.definition3.CMP1.p1.idx1.idt1.term1" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)">target</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.definition3.CMP1.p1.idx1.ide2" about="#setup.definition3.CMP1.p1.idx1.ide2" stex:srcref="intro.tex#textrange(from=12;59,to=13;23)"><omdoc:idp>target</omdoc:idp></omdoc:ide></omdoc:idx>, since formatting it with LaTeX will generate the main -document. The content in <omdoc:oref href="#sec.contfuncs"/> and <omdoc:oref href="#sec.differentiable"/> -comes from included files <span style="" class="text typewriter">continuous.tex</span> and -<span style="" class="text typewriter">differentiable.tex</span>, we will call them <omdoc:idx xml:id="setup.definition3.CMP1.p1.idx2" about="#setup.definition3.CMP1.p1.idx2" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:idt xml:id="setup.definition3.CMP1.p1.idx2.idt1" about="#setup.definition3.CMP1.p1.idx2.idt1" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:term cd="setup" name="module" role="definiendum" xml:id="setup.definition3.CMP1.p1.idx2.idt1.term1" about="#setup.definition3.CMP1.p1.idx2.idt1.term1" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)">module</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.definition3.CMP1.p1.idx2.ide2" about="#setup.definition3.CMP1.p1.idx2.ide2" stex:srcref="intro.tex#textrange(from=15;18,to=16;68)"><omdoc:idp>module</omdoc:idp></omdoc:ide></omdoc:idx>s, since they may -be used (i.e. included) by other target documents as well.</p> - </omdoc:CMP></omdoc:definition><omdoc:omtext xml:id="setup.omtext4" about="#setup.omtext4" stex:srcref="intro.tex#textrange(from=20;1,to=31;14)"><omdoc:CMP xml:id="setup.omtext4.CMP1" about="#setup.omtext4.CMP1" stex:srcref="intro.tex#textrange(from=20;1,to=31;14)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.omtext4.CMP1.p1">As the modules are built for inclusion into other documents, they are not -self-contained:</p> - - <ol xmlns="http://www.w3.org/1999/xhtml" class="enumerate" id="I5"> - - <li class="item" id="I5.i1"> - - <div class="para" id="I5.i1.p1"> - <p style="" class="p" id="I5.i1.p1.p1">they do not contain a LaTeX preamble and -<code class="verbatim typewriter" style="">\begin</code>/<code class="verbatim typewriter" style="">\end{document}</code>, and</p> - </div> - - </li> - - <li class="item" id="I5.i2"> - - <div class="para" id="I5.i2.p1"> - <p style="" class="p" id="I5.i2.p1.p1">they may depend on other modules, whose semantic macros they need to include,</p> - </div> - - </li> - - <li class="item" id="I5.i3"> - - <div class="para" id="I5.i3.p1"> - <p style="" class="p" id="I5.i3.p1.p1">to facilitate this a module file <span style="" class="text typewriter">modf.tex</span> comes with a “semantic -macro short form” <span style="" class="text typewriter">modf.sms</span> that can be included without generating -output in the PDF.</p> - </div> - - </li> - - </ol> - </omdoc:CMP></omdoc:omtext><omdoc:omtext xml:id="setup.omtext5" about="#setup.omtext5" stex:srcref="intro.tex#textrange(from=33;1,to=41;14)"><omdoc:CMP xml:id="setup.omtext5.CMP1" about="#setup.omtext5.CMP1" stex:srcref="intro.tex#textrange(from=33;1,to=41;14)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="setup.omtext5.CMP1.p1">This will have consequences for the automation. Concretely, the module on -differentiable functions in <omdoc:oref href="#sec.differentiable"/> depends on that for continuous -functions in <omdoc:oref href="#sec.contfuncs"/>. Both of them depend on modules for real numbers, -sets and functions that we do not want to cover in this note. <span style="" class="text inlinedef">We assume -that they have already been marked up with the same methods as we describe here and -are accessible to us and call them <omdoc:idx xml:id="setup.omtext5.CMP1.p1.idx1" about="#setup.omtext5.CMP1.p1.idx1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:idt xml:id="setup.omtext5.CMP1.p1.idx1.idt1" about="#setup.omtext5.CMP1.p1.idx1.idt1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:term cd="setup" name="background-module" role="definiendum" xml:id="setup.omtext5.CMP1.p1.idx1.idt1.term1" about="#setup.omtext5.CMP1.p1.idx1.idt1.term1" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)">background module</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="setup.omtext5.CMP1.p1.idx1.ide2" about="#setup.omtext5.CMP1.p1.idx1.ide2" stex:srcref="intro.tex#textrange(from=33;1,to=33;17)"><omdoc:idp>background</omdoc:idp><omdoc:idp>module</omdoc:idp></omdoc:ide></omdoc:idx>s</span>. In our setup we -keep them in the subdirectory <span style="" class="text typewriter">background</span>.</p> - </omdoc:CMP></omdoc:omtext></theory></omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="intro.omgroup5" about="#intro.omgroup5" stex:srcref="intro.tex#textrange(from=45;0,to=53;13)"><omdoc:metadata xml:id="intro.omgroup5.metadata1" about="#intro.omgroup5.metadata1" stex:srcref="intro.tex#textrange(from=45;0,to=45;51)"><dc:title xml:id="intro.omgroup5.metadata1.title1" about="#intro.omgroup5.metadata1.title1" stex:srcref="intro.tex#textrange(from=45;0,to=53;13)">Formatting and OMDoc conversion</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup5.p1"> - <p style="" class="p" id="intro.omgroup5.p1.p1">To format an sTeX document — i.e. to produce a PDF file from the sTeX marked-up -sources — we only need to run the <span style="" class="text typewriter">pdflatex</span> program over the target document -— assuming that all modules (regular or background) have semantic macro short forms.</p> - </div> - - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup5.p2"> - <p style="" class="p" id="intro.omgroup5.p2.p1">To convert an sTeX document to OMDoc, we need to run <span style="" class="text typewriter">latexml</span> over it, -post-process the result by <span style="" class="text typewriter">latexmlpost</span>, and finally massage away all remaining -LaTeXML islands with a stylesheet, see  <cite class="cite">[<citation xmlns="http://omdoc.org/ns" bibrefs="kohlhase:ssmtl*"/>]</cite> for details.</p> - </div> -</omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="intro.omgroup6" about="#intro.omgroup6" stex:srcref="intro.tex#textrange(from=55;0,to=89;13)"><omdoc:metadata xml:id="intro.omgroup6.metadata1" about="#intro.omgroup6.metadata1" stex:srcref="intro.tex#textrange(from=55;0,to=55;42)"><dc:title xml:id="intro.omgroup6.metadata1.title1" about="#intro.omgroup6.metadata1.title1" stex:srcref="intro.tex#textrange(from=55;0,to=89;13)">Makefile-based Automation</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p1"> - <p style="" class="p" id="intro.omgroup6.p1.p1">As the conversion to OMDoc is rather complex (the programs in the three steps take a -variety of options), we support an automation by Unix Makefiles. There are three main -<span style="" class="text typewriter">make</span> targets.</p> - </div> - - <dl xmlns="http://www.w3.org/1999/xhtml" class="description" id="I6"> - - <dt class="item" id="I6.i1"><span class="tag"><span style="" class="text typewriter">make omdoc</span></span></dt> - <dd class="item"> - <div class="para" id="I6.i1.p1"> - <p style="" class="p" id="I6.i1.p1.p1">will trigger the OMDoc transformation of the target -document.</p> - </div> -</dd> - - <dt class="item" id="I6.i2"><span class="tag"><span style="" class="text typewriter">make mods</span></span></dt> - <dd class="item"> - <div class="para" id="I6.i2.p1"> - <p style="" class="p" id="I6.i2.p1.p1">will trigger the OMDoc transformation of the modules.</p> - </div> -</dd> - - <dt class="item" id="I6.i3"><span class="tag"><span style="" class="text typewriter">make pdf</span></span></dt> - <dd class="item"> - <div class="para" id="I6.i3.p1"> - <p style="" class="p" id="I6.i3.p1.p1">will trigger the LaTeX formatting the target</p> - </div> -</dd> - - <dt class="item" id="I6.i4"><span class="tag"><span style="" class="text typewriter">make mpdf</span></span></dt> - <dd class="item"> - <div class="para" id="I6.i4.p1"> - <p style="" class="p" id="I6.i4.p1.p1">will trigger the LaTeX formatting the modules</p> - </div> -</dd> - - <dt class="item" id="I6.i5"><span class="tag"><span style="" class="text typewriter">make sms</span></span></dt> - <dd class="item"> - <div class="para" id="I6.i5.p1"> - <p style="" class="p" id="I6.i5.p1.p1">will trigger the re-generation of all semantic macro short -forms of modules (this is implicitly called in all the other <span style="" class="text typewriter">make</span> targets)</p> - </div> -</dd> - - </dl> - - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p2"> - <p style="" class="p" id="intro.omgroup6.p2.p1">To use this, we need to set up a <span style="" class="text typewriter">Makefile</span> of the following form:</p> - </div> - - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p3"> - <p style="" class="p" id="intro.omgroup6.p3.p1">The variable <span style="" class="text listing ">STEXDIR}}<span style="" class="text lstspace"> </span>has<span style="" class="text lstspace"> </span>to<span style="" class="text lstspace"> </span>be<span style="" class="text lstspace"> </span>set<span style="" class="text lstspace"> </span>to<span style="" class="text lstspace"> </span>the<span style="" class="text lstspace"> </span>main<span style="" class="text lstspace"> </span>directory<span style="" class="text lstspace"> </span>of<span style="" class="text lstspace"> </span>the</span>sTeX -distribution. The variable <span style="" class="text listing ">TARGET}}<span style="" class="text lstspace"> </span>specifies<span style="" class="text lstspace"> </span>the<span style="" class="text lstspace"> </span>target<span style="" class="text lstspace"> </span>document<span style="" class="text lstspace"> </span>(all<span style="" class="text lstspace"> </span>other</span><span style="" class="text typewriter">*.tex</span> files that are not excluded in the <span style="" class="text listing ">BUTFILES}}<span style="" class="text lstspace"> </span>variables<span style="" class="text lstspace"> </span>are<span style="" class="text lstspace">      </span>considered<span style="" class="text lstspace"> </span>as<span style="" class="text lstspace"> </span>modules).<span style="" class="text lstspace"> </span>Here,<span style="" class="text lstspace"> </span>the</span><span style="" class="text typewriter">background</span> directory for convenience. The -<span style="" class="text listing ">MODSLIBDIR}}<span style="" class="text lstspace"> </span>specifies<span style="" class="text lstspace"> </span>the<span style="" class="text lstspace"> </span>location<span style="" class="text lstspace"> </span>of<span style="" class="text lstspace"> </span>the<span style="" class="text lstspace"> </span>prefix<span style="" class="text lstspace"> </span>and<span style="" class="text lstspace"> </span>postfix<span style="" class="text lstspace"> </span>files</span><span style="" class="text typewriter">pre.tex</span> and <span style="" class="text typewriter">post.tex</span> that will be prepended and appended to the -modules to make them into complete files TeX files that can be converted. The last -three lines just include the Makefiles from the sTeX distribution and configure the -default make target (<span style="" class="text typewriter">make all</span>) to be produce the pdf version</p> - </div> - - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="intro.omgroup6.p4"> - <p style="" class="p" id="intro.omgroup6.p4.p1">Note that in the directory <span style="" class="text typewriter">background</span> we have a very similar Makefile as -above. The only differences are that the variable <span style="" class="text listing ">STEXDIR}}<span style="" class="text lstspace"> </span>is<span style="" class="text lstspace"> </span>adapted<span style="" class="text lstspace"> </span>and<span style="" class="text lstspace">     </span>that<span style="" class="text lstspace"> </span>the</span><span style="" class="text listing ">BUTFILE}}<span style="" class="text lstspace"> </span>variable<span style="" class="text lstspace"> </span>is<span style="" class="text lstspace"> </span>set<span style="" class="text lstspace"> </span>to</span><span style="" class="text typewriter">pre.tex</span> and -<span style="" class="text typewriter">post.tex</span>, so that they are not converted. In the directory -<span style="" class="text typewriter">background</span> we have followed good practice by establishing a phony</p> - </div> -</omdoc:omgroup></omdoc:omgroup> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/intro.pdf Binary files differnew file mode 100644 index 00000000000..244a57a49c4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms b/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms deleted file mode 100644 index 156422aefd8..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms +++ /dev/null @@ -1,2 +0,0 @@ - \begin{module}[id=setup]% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc deleted file mode 100644 index abb6db85073..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc +++ /dev/null @@ -1,48 +0,0 @@ -<?xml version="1.0"?> -<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you may want to reconsider editing it.--> -<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns" xmlns:om="http://www.openmath.org/OpenMath"> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="p1"> - <p style="" class="p" id="p1.p1"><omdoc:oref class="expandable" href="intro.omdoc"/></p> - </div> -<omdoc:omgroup layout="sectioning" xml:id="sec.math" about="#sec.math" stex:srcref="paper.tex#textrange(from=40;0,to=133;13)"><omdoc:metadata xml:id="sec.math.metadata1" about="#sec.math.metadata1" stex:srcref="paper.tex#textrange(from=40;0,to=45;13)"><dc:title xml:id="sec.math.metadata1.title1" about="#sec.math.metadata1.title1" stex:srcref="paper.tex#textrange(from=40;0,to=133;13)">Mathematical Content</dc:title></omdoc:metadata><omdoc:omgroup layout="sectioning" xml:id="sec.math.omgroup2" about="#sec.math.omgroup2" stex:srcref="paper.tex#textrange(from=41;0,to=45;13)"><omdoc:metadata xml:id="sec.math.omgroup2.metadata1" about="#sec.math.omgroup2.metadata1" stex:srcref="paper.tex#textrange(from=41;0,to=41;27)"><dc:title xml:id="sec.math.omgroup2.metadata1.title1" about="#sec.math.omgroup2.metadata1.title1" stex:srcref="paper.tex#textrange(from=41;0,to=45;13)">Calculus</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="sec.math.omgroup2.p1"> - <p style="" class="p" id="sec.math.omgroup2.p1.p1">We present some standard mathematical definitions, here from calculus. -<omdoc:oref class="expandable" href="continuous.omdoc"/><omdoc:oref class="expandable" href="differentiable.omdoc"/></p> - </div> -</omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="sec.matha" about="#sec.matha" stex:srcref="paper.tex#textrange(from=47;0,to=132;13)"><omdoc:metadata xml:id="sec.matha.metadata1" about="#sec.matha.metadata1" stex:srcref="paper.tex#textrange(from=47;0,to=47;67)"><dc:title xml:id="sec.matha.metadata1.title1" about="#sec.matha.metadata1.title1" stex:srcref="paper.tex#textrange(from=47;0,to=132;13)">A Theory Graph for Elementary Algebra</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="sec.matha.p1"> - <p style="" class="p" id="sec.matha.p1.p1">Here we show an example for more advanced theory graph manipulations, in particular -imports via morphisms. -</p> - </div> -<theory xml:id="magma" about="#magma" stex:srcref="paper.tex#textrange(from=51;0,to=60;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="../background/functions.omdoc#functions" xml:id="magma.imports1" about="#magma.imports1" stex:srcref="paper.tex#textrange(from=52;0,to=52;48)"/><omdoc:symbol name="magbase" xml:id="magbase.sym" about="#magbase.sym" stex:srcref="paper.tex#textrange(from=53;1,to=53;22)"/><omdoc:notation cd="magma" name="magbase"><omdoc:prototype><om:OMS cd="magma" name="magbase"/></omdoc:prototype><omdoc:rendering><m:mi>G</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="magmaop" xml:id="magmaop.sym" about="#magmaop.sym" stex:srcref="paper.tex#textrange(from=54;0,to=54;41)"/><omdoc:notation cd="magma" name="magmaop"><omdoc:prototype><om:OMS cd="magma" name="magmaop"/></omdoc:prototype><omdoc:rendering><m:mo>∘</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="magma" name="magmaop"><omdoc:prototype><om:OMA><om:OMS cd="magma" cr="fun" name="magmaop"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">∘</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="magma" xml:id="magma.def.sym" about="#magma.def.sym" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)"/><omdoc:definition for="magma" xml:id="magma.def" about="#magma.def" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)"><omdoc:CMP xml:id="magma.def.CMP1" about="#magma.def.CMP1" stex:srcref="paper.tex#textrange(from=56;0,to=59;17)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="magma.def.CMP1.p1">A <omdoc:idx xml:id="magma.def.CMP1.p1.idx1" about="#magma.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:idt xml:id="magma.def.CMP1.p1.idx1.idt1" about="#magma.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:term cd="magma" name="magma" role="definiendum" xml:id="magma.def.CMP1.p1.idx1.idt1.term1" about="#magma.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)">magma</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="magma.def.CMP1.p1.idx1.ide2" about="#magma.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=56;68,to=57;18)"><omdoc:idp>magma</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ>, such that <om:OMOBJ><om:OMS cd="magma" name="magbase"/></om:OMOBJ> is -closed under the operation <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMS cd="magma" name="magmaop"/><om:OMA><om:OMS cd="functions" name="cart"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magbase"/></om:OMA><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p> - </omdoc:CMP></omdoc:definition></theory><theory xml:id="semigroup" about="#semigroup" stex:srcref="paper.tex#textrange(from=62;0,to=68;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#magma" xml:id="semigroup.imports1" about="#semigroup.imports1" stex:srcref="paper.tex#textrange(from=63;0,to=63;22)"/><omdoc:symbol name="semigroup" xml:id="semigroup.def.sym" about="#semigroup.def.sym" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)"/><omdoc:definition for="semigroup" xml:id="semigroup.def" about="#semigroup.def" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)"><omdoc:CMP xml:id="semigroup.def.CMP1" about="#semigroup.def.CMP1" stex:srcref="paper.tex#textrange(from=64;0,to=67;18)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="semigroup.def.CMP1.p1">A <omdoc:term cd="magma" name="magma" xml:id="semigroup.def.CMP1.p1.term1" about="#semigroup.def.CMP1.p1.term1" stex:srcref="paper.tex#textrange(from=64;63,to=65;26)">magma</omdoc:term><om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ>, is called a <omdoc:idx xml:id="semigroup.def.CMP1.p1.idx3" about="#semigroup.def.CMP1.p1.idx3" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:idt xml:id="semigroup.def.CMP1.p1.idx3.idt1" about="#semigroup.def.CMP1.p1.idx3.idt1" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:term cd="semigroup" name="semigroup" role="definiendum" xml:id="semigroup.def.CMP1.p1.idx3.idt1.term1" about="#semigroup.def.CMP1.p1.idx3.idt1.term1" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)">semigroup</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="semigroup.def.CMP1.p1.idx3.ide2" about="#semigroup.def.CMP1.p1.idx3.ide2" stex:srcref="paper.tex#textrange(from=64;5,to=65;84)"><omdoc:idp>semigroup</omdoc:idp></omdoc:ide></omdoc:idx>, iff -<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ> is associative.</p> - </omdoc:CMP></omdoc:definition></theory><theory xml:id="monoid" about="#monoid" stex:srcref="paper.tex#textrange(from=70;0,to=84;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#semigroup" xml:id="monoid.imports1" about="#monoid.imports1" stex:srcref="paper.tex#textrange(from=71;0,to=71;26)"/><omdoc:symbol name="monneut" xml:id="monneut.sym" about="#monneut.sym" stex:srcref="paper.tex#textrange(from=72;1,to=72;22)"/><omdoc:notation cd="monoid" name="monneut"><omdoc:prototype><om:OMS cd="monoid" name="monneut"/></omdoc:prototype><omdoc:rendering><m:mi>e</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="noneut" xml:id="noneut.sym" about="#noneut.sym" stex:srcref="paper.tex#textrange(from=73;1,to=73;27)"/><omdoc:notation cd="monoid" name="noneut"><omdoc:prototype><om:OMA><om:OMS cd="monoid" cr="fun" name="noneut"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:msup><render name="arg1"/><m:mo>*</m:mo></m:msup></omdoc:rendering></omdoc:notation><omdoc:symbol name="monoid" xml:id="monoid.def.sym" about="#monoid.def.sym" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"/><omdoc:symbol name="neutral-element" xml:id="neutral-element.def.sym" about="#neutral-element.def.sym" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"/><omdoc:definition for="neutral-element monoid" xml:id="monoid.def" about="#monoid.def" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"><omdoc:CMP xml:id="monoid.def.CMP1" about="#monoid.def.CMP1" stex:srcref="paper.tex#textrange(from=74;0,to=78;17)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="monoid.def.CMP1.p1">A <omdoc:idx xml:id="monoid.def.CMP1.p1.idx1" about="#monoid.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:idt xml:id="monoid.def.CMP1.p1.idx1.idt1" about="#monoid.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:term cd="monoid" name="monoid" role="definiendum" xml:id="monoid.def.CMP1.p1.idx1.idt1.term1" about="#monoid.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)">monoid</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="monoid.def.CMP1.p1.idx1.ide2" about="#monoid.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=74;63,to=75;19)"><omdoc:idp>monoid</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/></om:OMA></om:OMOBJ> is a <omdoc:term cd="semigroup" name="semigroup" xml:id="monoid.def.CMP1.p1.term4" about="#monoid.def.CMP1.p1.term4" stex:srcref="paper.tex#textrange(from=75;20,to=76;65)">semigroup</omdoc:term> and <om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ> is a -<omdoc:idx xml:id="monoid.def.CMP1.p1.idx6" about="#monoid.def.CMP1.p1.idx6" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:idt xml:id="monoid.def.CMP1.p1.idx6.idt1" about="#monoid.def.CMP1.p1.idx6.idt1" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:term cd="monoid" name="neutral-element" role="definiendum" xml:id="monoid.def.CMP1.p1.idx6.idt1.term1" about="#monoid.def.CMP1.p1.idx6.idt1.term1" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)">neutral element</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="monoid.def.CMP1.p1.idx6.ide2" about="#monoid.def.CMP1.p1.idx6.ide2" stex:srcref="paper.tex#textrange(from=76;64,to=77;28)"><omdoc:idp>neutral</omdoc:idp><omdoc:idp>element</omdoc:idp></omdoc:ide></omdoc:idx>, i.e. that <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="eq"/><om:OMA><om:OMS cd="magma" name="magmaop"/><om:OMV name="x"/><om:OMS cd="monoid" name="monneut"/></om:OMA><om:OMV name="x"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p> - </omdoc:CMP></omdoc:definition><omdoc:definition xml:id="noneut.def" about="#noneut.def" stex:srcref="paper.tex#textrange(from=80;0,to=83;17)"><omdoc:CMP xml:id="noneut.def.CMP1" about="#noneut.def.CMP1" stex:srcref="paper.tex#textrange(from=80;0,to=83;17)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="noneut.def.CMP1.p1">In a monoid <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ>, we use denote the set -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="setst"/><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMV name="S"/></om:OMA><om:OMA><om:OMS cd="relation1" name="neq"/><om:OMV name="x"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMA></om:OMOBJ> with <om:OMOBJ><om:OMA><om:OMS cd="monoid" name="noneut"/><om:OMV name="S"/></om:OMA></om:OMOBJ>.</p> - </omdoc:CMP></omdoc:definition></theory><theory xml:id="group" about="#group" stex:srcref="paper.tex#textrange(from=86;0,to=96;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#monoid" xml:id="group.imports1" about="#group.imports1" stex:srcref="paper.tex#textrange(from=87;0,to=87;23)"/><omdoc:symbol name="ginvOp" xml:id="ginvOp.sym" about="#ginvOp.sym" stex:srcref="paper.tex#textrange(from=88;1,to=88;21)"/><omdoc:notation cd="group" name="ginvOp"><omdoc:prototype><om:OMS cd="group" name="ginvOp"/></omdoc:prototype><omdoc:rendering><m:mi>i</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="ginv" xml:id="ginv.sym" about="#ginv.sym" stex:srcref="paper.tex#textrange(from=89;1,to=89;39)"/><omdoc:notation cd="group" name="ginv"><omdoc:prototype><om:OMA><om:OMS cd="group" cr="fun" name="ginv"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo cr="fun">i</m:mo><m:mrow><m:mo fence="true">(</m:mo><render name="arg1" precedence="-1000000"/><m:mo fence="true">)</m:mo></m:mrow></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="group" xml:id="group.def.sym" about="#group.def.sym" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"/><omdoc:symbol name="inverse" xml:id="inverse.def.sym" about="#inverse.def.sym" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"/><omdoc:definition for="group inverse" xml:id="group.def" about="#group.def" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"><omdoc:CMP xml:id="group.def.CMP1" about="#group.def.CMP1" stex:srcref="paper.tex#textrange(from=90;0,to=95;18)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="group.def.CMP1.p1">A <omdoc:idx xml:id="group.def.CMP1.p1.idx1" about="#group.def.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:idt xml:id="group.def.CMP1.p1.idx1.idt1" about="#group.def.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:term cd="group" name="group" role="definiendum" xml:id="group.def.CMP1.p1.idx1.idt1.term1" about="#group.def.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)">group</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="group.def.CMP1.p1.idx1.ide2" about="#group.def.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=90;71,to=91;18)"><omdoc:idp>group</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/><om:OMS cd="group" name="ginvOp"/></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ> is a <omdoc:term cd="monoid" name="monoid" xml:id="group.def.CMP1.p1.term4" about="#group.def.CMP1.p1.term4" stex:srcref="paper.tex#textrange(from=91;22,to=92;68)">monoid</omdoc:term> and <om:OMOBJ><om:OMS cd="group" name="ginvOp"/></om:OMOBJ> acts as -a <omdoc:idx xml:id="group.def.CMP1.p1.idx6" about="#group.def.CMP1.p1.idx6" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:idt xml:id="group.def.CMP1.p1.idx6.idt1" about="#group.def.CMP1.p1.idx6.idt1" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:term cd="group" name="inverse" role="definiendum" xml:id="group.def.CMP1.p1.idx6.idt1.term1" about="#group.def.CMP1.p1.idx6.idt1.term1" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)">inverse</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="group.def.CMP1.p1.idx6.ide2" about="#group.def.CMP1.p1.idx6.ide2" stex:srcref="paper.tex#textrange(from=92;52,to=93;20)"><omdoc:idp>inverse</omdoc:idp></omdoc:ide></omdoc:idx>, i.e. that <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="eq"/><om:OMA><om:OMS cd="magma" name="magmaop"/><om:OMV name="x"/><om:OMA><om:OMS cd="group" name="ginv"/><om:OMV name="x"/></om:OMA></om:OMA><om:OMS cd="monoid" name="monneut"/></om:OMA></om:OMOBJ> for all -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="magma" name="magbase"/></om:OMA></om:OMOBJ>.</p> - </omdoc:CMP></omdoc:definition></theory><theory xml:id="cgroup" about="#cgroup" stex:srcref="paper.tex#textrange(from=98;0,to=104;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:imports from="#group" xml:id="cgroup.imports1" about="#cgroup.imports1" stex:srcref="paper.tex#textrange(from=99;0,to=99;20)"/><omdoc:symbol name="commutative-group" xml:id="commutative-group.def.sym" about="#commutative-group.def.sym" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)"/><omdoc:definition for="commutative-group" xml:id="cgroup.def" about="#cgroup.def" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)"><omdoc:CMP xml:id="cgroup.def.CMP1" about="#cgroup.def.CMP1" stex:srcref="paper.tex#textrange(from=100;0,to=103;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="cgroup.def.CMP1.p1">We call a <omdoc:term cd="group" name="group" xml:id="cgroup.def.CMP1.p1.term1" about="#cgroup.def.CMP1.p1.term1" stex:srcref="paper.tex#textrange(from=100;47,to=101;32)">group</omdoc:term><om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="magma" name="magbase"/><om:OMS cd="magma" name="magmaop"/><om:OMS cd="monoid" name="monneut"/><om:OMS cd="group" name="ginvOp"/></om:OMA></om:OMOBJ> a -<omdoc:idx xml:id="cgroup.def.CMP1.p1.idx3" about="#cgroup.def.CMP1.p1.idx3" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:idt xml:id="cgroup.def.CMP1.p1.idx3.idt1" about="#cgroup.def.CMP1.p1.idx3.idt1" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:term cd="cgroup" name="commutative-group" role="definiendum" xml:id="cgroup.def.CMP1.p1.idx3.idt1.term1" about="#cgroup.def.CMP1.p1.idx3.idt1.term1" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)">commutative group</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="cgroup.def.CMP1.p1.idx3.ide2" about="#cgroup.def.CMP1.p1.idx3.ide2" stex:srcref="paper.tex#textrange(from=101;34,to=102;28)"><omdoc:idp>commutative</omdoc:idp><omdoc:idp>group</omdoc:idp></omdoc:ide></omdoc:idx>, iff <om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ> is commutative.</p> - </omdoc:CMP></omdoc:definition></theory><theory xml:id="ring" about="#ring" stex:srcref="paper.tex#textrange(from=106;0,to=131;12)"><imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/><imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/><omdoc:symbol name="rbase" xml:id="rbase.sym" about="#rbase.sym" stex:srcref="paper.tex#textrange(from=107;1,to=107;18)"/><omdoc:notation cd="ring" name="rbase"><omdoc:prototype><om:OMS cd="ring" name="rbase"/></omdoc:prototype><omdoc:rendering><m:mi>R</m:mi></omdoc:rendering></omdoc:notation><omdoc:symbol name="rtimes" xml:id="rtimes.sym" about="#rtimes.sym" stex:srcref="paper.tex#textrange(from=108;0,to=108;37)"/><omdoc:notation cd="ring" name="rtimes"><omdoc:prototype><om:OMS cd="ring" name="rtimes"/></omdoc:prototype><omdoc:rendering><m:mo>⋅</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rtimes"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rtimes"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">⋅</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="rone" xml:id="rone.sym" about="#rone.sym" stex:srcref="paper.tex#textrange(from=110;1,to=110;17)"/><omdoc:notation cd="ring" name="rone"><omdoc:prototype><om:OMS cd="ring" name="rone"/></omdoc:prototype><omdoc:rendering><m:mn>1</m:mn></omdoc:rendering></omdoc:notation><omdoc:imports from="#monoid" xml:id="ring.imports4" about="#ring.imports4" stex:srcref="paper.tex#textrange(from=111;0,to=115;21)"><omdoc:morphism><omdoc:requation xml:id="ring.imports4.requation1" about="#ring.imports4.requation1" stex:srcref="paper.tex#textrange(from=112;1,to=112;26)">rbase<om:OMOBJ><om:OMS cd="magma" name="magbase"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports4.requation2" about="#ring.imports4.requation2" stex:srcref="paper.tex#textrange(from=113;1,to=113;31)">rtimesOp<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports4.requation3" about="#ring.imports4.requation3" stex:srcref="paper.tex#textrange(from=114;1,to=114;25)">rone<om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ></omdoc:requation></omdoc:morphism></omdoc:imports><omdoc:symbol name="rplus" xml:id="rplus.sym" about="#rplus.sym" stex:srcref="paper.tex#textrange(from=116;0,to=116;31)"/><omdoc:notation cd="ring" name="rplus"><omdoc:prototype><om:OMS cd="ring" name="rplus"/></omdoc:prototype><omdoc:rendering><m:mo>+</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rplus"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rplus"/><omdoc:expr name="arg1"/><omdoc:expr name="arg2"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo egroup="fence" fence="true">(</m:mo><render name="arg1"/><m:mo cr="fun">+</m:mo><render name="arg2"/><m:mo egroup="fence" fence="true">)</m:mo></m:mrow></omdoc:rendering></omdoc:notation><omdoc:symbol name="rzero" xml:id="rzero.sym" about="#rzero.sym" stex:srcref="paper.tex#textrange(from=118;1,to=118;18)"/><omdoc:notation cd="ring" name="rzero"><omdoc:prototype><om:OMS cd="ring" name="rzero"/></omdoc:prototype><omdoc:rendering><m:mn>0</m:mn></omdoc:rendering></omdoc:notation><omdoc:symbol name="rminus" xml:id="rminus.sym" about="#rminus.sym" stex:srcref="paper.tex#textrange(from=119;0,to=119;33)"/><omdoc:notation cd="ring" name="rminus"><omdoc:prototype><om:OMS cd="ring" name="rminus"/></omdoc:prototype><omdoc:rendering><m:mo>-</m:mo></omdoc:rendering></omdoc:notation><omdoc:notation cd="ring" name="rminus"><omdoc:prototype><om:OMA><om:OMS cd="ring" cr="fun" name="rminus"/><omdoc:expr name="arg1"/></om:OMA></omdoc:prototype><omdoc:rendering><m:mrow><m:mo cr="fun">-</m:mo><m:mrow><m:mo fence="true">(</m:mo><render name="arg1" precedence="-1000000"/><m:mo fence="true">)</m:mo></m:mrow></m:mrow></omdoc:rendering></omdoc:notation><omdoc:imports from="#cgroup" xml:id="ring.imports8" about="#ring.imports8" stex:srcref="paper.tex#textrange(from=121;0,to=125;21)"><omdoc:morphism><omdoc:requation xml:id="ring.imports8.requation1" about="#ring.imports8.requation1" stex:srcref="paper.tex#textrange(from=122;1,to=122;28)">rplus<om:OMOBJ><om:OMS cd="magma" name="magmaop"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports8.requation2" about="#ring.imports8.requation2" stex:srcref="paper.tex#textrange(from=123;1,to=123;26)">rzero<om:OMOBJ><om:OMS cd="monoid" name="monneut"/></om:OMOBJ></omdoc:requation><omdoc:requation xml:id="ring.imports8.requation3" about="#ring.imports8.requation3" stex:srcref="paper.tex#textrange(from=124;1,to=124;28)">rminusOp<om:OMOBJ><om:OMS cd="group" name="ginvOp"/></om:OMOBJ></omdoc:requation></omdoc:morphism></omdoc:imports><omdoc:symbol name="ring" xml:id="ring.def.sym" about="#ring.def.sym" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)"/><omdoc:definition for="ring" xml:id="ring.definition10" about="#ring.definition10" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)"><omdoc:CMP xml:id="ring.definition10.CMP1" about="#ring.definition10.CMP1" stex:srcref="paper.tex#textrange(from=126;1,to=130;16)"> - <p xmlns="http://www.w3.org/1999/xhtml" style="" class="p" id="ring.definition10.CMP1.p1">A <omdoc:idx xml:id="ring.definition10.CMP1.p1.idx1" about="#ring.definition10.CMP1.p1.idx1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:idt xml:id="ring.definition10.CMP1.p1.idx1.idt1" about="#ring.definition10.CMP1.p1.idx1.idt1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:term cd="ring" name="ring" role="definiendum" xml:id="ring.definition10.CMP1.p1.idx1.idt1.term1" about="#ring.definition10.CMP1.p1.idx1.idt1.term1" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)">ring</omdoc:term></omdoc:idt><omdoc:ide index="default" xml:id="ring.definition10.CMP1.p1.idx1.ide2" about="#ring.definition10.CMP1.p1.idx1.ide2" stex:srcref="paper.tex#textrange(from=126;73,to=127;15)"><omdoc:idp>ring</omdoc:idp></omdoc:ide></omdoc:idx> is a structure <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="ring" name="rbase"/><om:OMS cd="ring" name="rplus"/><om:OMS cd="ring" name="rzero"/><om:OMS cd="ring" name="rtimes"/><om:OMS cd="ring" name="rone"/><om:OMS cd="ring" name="rminus"/></om:OMA></om:OMOBJ>, -such that <om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMA><om:OMS cd="monoid" name="noneut"/><om:OMS cd="ring" name="rbase"/></om:OMA><om:OMS cd="ring" name="rtimes"/><om:OMS cd="ring" name="rone"/></om:OMA></om:OMOBJ> is a monoid and -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="tup"/><om:OMS cd="ring" name="rbase"/><om:OMS cd="ring" name="rplus"/><om:OMS cd="ring" name="rzero"/><om:OMS cd="ring" name="rminus"/></om:OMA></om:OMOBJ> is a commutative group.</p> - </omdoc:CMP></omdoc:definition></theory></omdoc:omgroup></omdoc:omgroup><omdoc:omgroup layout="sectioning" xml:id="concl" about="#concl" stex:srcref="paper.tex#textrange(from=135;0,to=138;13)"><omdoc:metadata xml:id="concl.metadata1" about="#concl.metadata1" stex:srcref="paper.tex#textrange(from=135;0,to=135;37)"><dc:title xml:id="concl.metadata1.title1" about="#concl.metadata1.title1" stex:srcref="paper.tex#textrange(from=135;0,to=138;13)">Conclusion</dc:title></omdoc:metadata> - <div xmlns="http://www.w3.org/1999/xhtml" class="para" id="concl.p1"> - <p style="" class="p" id="concl.p1.p1">In this note we have given an example of standard mathematical markup and shown how a a -sTeX collection can be set up for automation.</p> - </div> -</omdoc:omgroup><omdoc:bibliography files="kwarc"/></omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf Binary files differindex b850db63b87..ba4ddd3f95f 100644 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex index 5451a828f20..61d4aa7f17c 100644 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex @@ -1,5 +1,4 @@ \documentclass{omdoc} -\usepackage[showmods]{stex} \usepackage{amssymb} \usepackage{alltt} \usepackage{hyperref} @@ -49,7 +48,7 @@ imports via morphisms. \begin{module}[id=magma] - \importmodule[\backmods{functions}]{functions} + \importmodule[load=\backmods{functions}]{functions} \symdef{magbase}{G} \symdef[name=magmaop]{magmaopOp}{\circ} \symdef{magmaop}[2]{\infix\magmaopOp{#1}{#2}} diff --git a/Master/texmf-dist/doc/latex/stex/example/test/Makefile b/Master/texmf-dist/doc/latex/stex/example/test/Makefile deleted file mode 100644 index 3634c7ddcff..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/test/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -STEXDIR = ../.. -TARGET = glotest.tex -MODSLIBDIR = background - -include $(STEXDIR)/make/Makefile.vars -all: omdoc mods pdf -include $(STEXDIR)/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/README b/Master/texmf-dist/doc/latex/stex/hwexam/README index cebd165fa19..25db46f14a0 100644 --- a/Master/texmf-dist/doc/latex/stex/hwexam/README +++ b/Master/texmf-dist/doc/latex/stex/hwexam/README @@ -6,7 +6,5 @@ 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 +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf Binary files differindex 767ab735c4f..6005629a595 100644 --- a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf +++ b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/README b/Master/texmf-dist/doc/latex/stex/metakeys/README index 56c6eea13b2..a10e46f6cc8 100644 --- a/Master/texmf-dist/doc/latex/stex/metakeys/README +++ b/Master/texmf-dist/doc/latex/stex/metakeys/README @@ -6,6 +6,4 @@ metadata. This is a package primarily aimed at authors of sTeX extensions. Copyright (c) 2009 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/metakeys +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf Binary files differindex 7d6de432ea0..ecf818c1772 100644 --- a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf +++ 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 822e74a199a..444da1dbc1e 100644 --- a/Master/texmf-dist/doc/latex/stex/mikoslides/README +++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README @@ -5,7 +5,5 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 39e6935573f..15d5b999f2c 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 bc64ed35416..1ca4729991b 100644 --- a/Master/texmf-dist/doc/latex/stex/modules/README +++ b/Master/texmf-dist/doc/latex/stex/modules/README @@ -16,6 +16,4 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 7293781d655..37ce6e2cb5f 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/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README index 2a5111f8d38..ff6a71db6b1 100644 --- a/Master/texmf-dist/doc/latex/stex/omdoc/README +++ b/Master/texmf-dist/doc/latex/stex/omdoc/README @@ -7,6 +7,5 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 614932300a4..6659aa1cc6f 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 579f02789b3..4493a03f386 100644 --- a/Master/texmf-dist/doc/latex/stex/omtext/README +++ b/Master/texmf-dist/doc/latex/stex/omtext/README @@ -6,7 +6,5 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 45919bf27ea..fdf53747d93 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 6fd953f20d1..a5afc3a06c7 100644 --- a/Master/texmf-dist/doc/latex/stex/presentation/README +++ b/Master/texmf-dist/doc/latex/stex/presentation/README @@ -10,7 +10,5 @@ translation. Copyright (c) 2008 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation +Project home: https://github.com/KWARC/sTeX/ 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 2825ea285b1..7fe61e1604c 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 77b9314109e..15cf1883fb5 100644 --- a/Master/texmf-dist/doc/latex/stex/problem/README +++ b/Master/texmf-dist/doc/latex/stex/problem/README @@ -6,5 +6,4 @@ them efficiently in multiple environments. Copyright (c) 2008 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/problem +Project home: https://github.com/KWARC/sTeX/ 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 1fe8cadc1c2..2b17db087e7 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/rdfmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf Binary files differdeleted file mode 100644 index b6562066e13..00000000000 --- a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf Binary files differdeleted file mode 100644 index b99a36071f2..00000000000 --- a/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README deleted file mode 100644 index adc3131dbbd..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/README +++ /dev/null @@ -1,12 +0,0 @@ -reqdoc.sty: Semantic Markup for Requirement Specification Documents - -This package supplies a the infrastructure for writing requirement -specification documents with embedded semantic markup, and to generate -XML-based documents from them via the LaTeXML system. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the -LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf Binary files differdeleted file mode 100644 index 1aa4d8127f0..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf Binary files differdeleted file mode 100644 index e3edea34302..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex deleted file mode 100644 index 0288bfdd402..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex +++ /dev/null @@ -1,136 +0,0 @@ -\documentclass[twoside]{omdoc} -\usepackage{stex} -\usepackage[recorddeps]{reqdoc} -\usepackage{VMeta} -\usepackage[pdftex, colorlinks=true, linkcolor=blue, citecolor=blue, filecolor=blue, pagecolor=blue, urlcolor=blue, pdftitle=V 1.0, pdfauthor=Administrator, pdfsubject=, pdfkeywords=20.10.97]{hyperref} - - -\WAperson[id=jdoe,affiliation=dfki,department=skss, - url=http://dfki.de/jdoe] - {John Doe} -\WAperson[id=miko,affiliation=jacu,department=case, - url=http://kwarc.info/kohlhase] - {Michael Kohlhase} -\WAinstitution[id=case,acronym=CASE,shortname=Center for Adv. Sys. Engineering, - url=http://jacobs-university.de/ses/case,partof=jacu] - {Center for Advanced Systems Engineering} -\WAinstitution[id=jacu,url=http://jacobs-university.de] - {Jacobs University Bremen} -\WAinstitution[id=skss,url=http://dfki.de/sks,partof=dfki,shortname=Safe\&Secure Cognitive -Systems,acronym=SKS] - {Safe and Secure Cognitive Systems} -\WAinstitution[id=dfki,url=http://dfki.de,shortname=DFKI,acronym=DFKI] - {German Research Center for Artificial Intelligence} -\begin{document} -\svnInfo $Id: requirements.tex 1968 2012-01-03 07:56:56Z kohlhase $ -\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $ -\begin{DCmetadata}[maketitle] - \DCMtitle{Requirements for Semantic Requirements Documents} - \DCMcreators{miko,jdoe} - \DCMdate{\today} - \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}} - and {\texttt{VMeta}} from {\stex}} - \VMversion{1.5} - \VMdocstate{current} - \VMcreated{28.01.2008} - \VMresponsible{miko} -\end{DCmetadata} - -\begin{VMchangelist} - \begin{VMchange}{07.02.08}{1.0}{miko} - made initiale version 1.0 (empty skeleton file) - \end{VMchange} - \begin{VMchange}{07.03.08}{1.1}{miko} - added two requirements - \end{VMchange} - \begin{VMchange}{12.05.08}{1.2}{miko} - simplified some formulations - \end{VMchange} - \begin{VMchange}{17.05.08}{1.3}{miko} - added third requirement that depends on the first two. - \end{VMchange} -\end{VMchangelist} - -\begin{VMcertification} - \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work} - some formulations still unclear, but correct in principle - \end{VMcertified} - \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI} - may need another requirement. - \end{VMcertified} - \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI} - certified: this is what DFKI wants. - \end{VMcertified} -\end{VMcertification} -\clearpage - -\begin{omgroup}{Introduction} -\begin{omtext} -In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the -requirements themselves are quite phony, since they are only for introductory purposes. -\end{omtext} -\end{omgroup} - - -\begin{module}[id=user-general-reqs] -\importmodule[cds/background]{background} - -\begin{omgroup}{Some Requirements} - -\begin{requirements}[numbering=yes,prefix=U] - \begin{requirement}[id=acceptdata,prio=2] - {Accept {\termref[cd=background,name=data]{data}} from heterogeneous - {\termref[cd=background,name=source]{data sources}}} - \reqnote{in particular: $\data$} - \end{requirement} - - \begin{requirement}[id=reftest,prio=1] - {do something with the data to test the reference} - \reqnote{not really, this is just a test} - \end{requirement} - - \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}] - {do something with the data to test the reference} - \reqnote{not really, this is just a test} - \end{requirement} -\end{requirements} -\end{omgroup} - -\begin{omgroup}{Requirements as tables} - -\begin{omtext} - We can also format requirements as tables -\end{omtext} - -\begin{reqtable}[prefix=U] - \reqline[id=tabacceptdata,prio=2] - {Accept {\termref[cd=background,name=data]{data}} from heterogeneous - {\termref[cd=background,name=source]{data sources}}} - {in particular: $\data$} - - \reqline[id=tabreftest,prio=1] - {do something with the data to test the reference - - do something with the data to test the reference} - {not really, this is just a test} - - \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}] - {do something with the data to test the reference} - {not really, this is just a test} -\end{reqtable} -\end{omgroup} -\end{module} - -\begin{omgroup}{Conclusion} - \begin{omtext} - See, it was quite simple - \end{omtext} -\end{omgroup} -\end{document} -\input{rest} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% End: - diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/README b/Master/texmf-dist/doc/latex/stex/rfdmeta/README index 0e113125f72..3f3b9edf4d7 100644 --- a/Master/texmf-dist/doc/latex/stex/rdfmeta/README +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/README @@ -6,6 +6,4 @@ harvested by automated tools or exported to PDF. Copyright (c) 2010 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc/rdfmeta - +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf Binary files differnew file mode 100644 index 00000000000..648d6bdfaff --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.pdf diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex index 5e4582833af..5e4582833af 100644 --- a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/certification.tex diff --git a/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf Binary files differnew file mode 100644 index 00000000000..87f02bc72b9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rfdmeta/rdfmeta.pdf diff --git a/Master/texmf-dist/doc/latex/stex/smglom/README b/Master/texmf-dist/doc/latex/stex/smglom/README new file mode 100644 index 00000000000..ff6a71db6b1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/smglom/README @@ -0,0 +1,11 @@ +omdoc.cls: A LaTeX Class for OMDoc Documents +omdoc.sty: A LaTeX Package for OMDoc Document structures + +This package and class supplies a the infrastructure for writing OMDoc documents +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ + diff --git a/Master/texmf-dist/doc/latex/stex/smglom/smglom.pdf b/Master/texmf-dist/doc/latex/stex/smglom/smglom.pdf Binary files differnew file mode 100644 index 00000000000..bb25db5f956 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/smglom/smglom.pdf diff --git a/Master/texmf-dist/doc/latex/stex/smultiling/README b/Master/texmf-dist/doc/latex/stex/smultiling/README new file mode 100644 index 00000000000..ff6a71db6b1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/smultiling/README @@ -0,0 +1,11 @@ +omdoc.cls: A LaTeX Class for OMDoc Documents +omdoc.sty: A LaTeX Package for OMDoc Document structures + +This package and class supplies a the infrastructure for writing OMDoc documents +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ + diff --git a/Master/texmf-dist/doc/latex/stex/smultiling/smultiling.pdf b/Master/texmf-dist/doc/latex/stex/smultiling/smultiling.pdf Binary files differnew file mode 100644 index 00000000000..bf2aee73d8d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/smultiling/smultiling.pdf diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README index 0b2a9844ec0..66426856383 100644 --- a/Master/texmf-dist/doc/latex/stex/sproof/README +++ b/Master/texmf-dist/doc/latex/stex/sproof/README @@ -7,5 +7,4 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 fa048efe2f9..0e0da5067d4 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 457691747cd..3b4269614ac 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/README +++ b/Master/texmf-dist/doc/latex/stex/sref/README @@ -5,6 +5,5 @@ 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) -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 +Project home: https://github.com/KWARC/sTeX/ 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 e370c68d861..3231842c19b 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/book.tex b/Master/texmf-dist/doc/latex/stex/sref/book.tex index f2f6d5d0c0d..b603fdc0795 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/book.tex +++ b/Master/texmf-dist/doc/latex/stex/sref/book.tex @@ -1,4 +1,4 @@ -\documentclass{book} +\documentclass{report} \usepackage{omtext,omdoc} \title{Advanced Crossreferencing in {\LaTeX}} \author{Elder Researcher (ed.)} 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 8d6f66392cb..879a213144d 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/idcmain.tex b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex index 7afdfcaaaef..3664d95debc 100644 --- a/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex +++ b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex @@ -5,16 +5,15 @@ \end{omgroup} \newpage \begin{omgroup}[id=rad]{Referencing across Documents} - Now, we test the referencing mechanism - \begin{omtext}[title=Internal Referencing] - First single refrences: \sref{mcr} (on page \spageref{mcr}) and \sref{rad} (on page - \spageref{rad}), and then compound ones: \srefs{mcr}{rad} +Now, we test the referencing mechanism +\begin{omtext}[title=Internal Referencing] + First single refrences: \sref{mcr} (\spageref{mcr}) and \sref{rad} (\spageref{rad}), + and then compound ones: \srefs{mcr}{rad} \end{omtext} \begin{omtext}[title=External Referencing] - First single references: \extref{scr}{setup} (on page \extpageref{scr}{setup}) and - \extref{src}{testing} (on page \extpageref{src}{testing}) -% external referencing two: \extrefs{tast}{foo}{bar} + First single references: \extref{scr}{setup} (\extpageref{scr}{setup}) and + \extref{scr}{testing} (\extpageref{scr}{testing}) \end{omtext} \end{omgroup} %%% Local Variables: 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 58bf11840fc..989654e4bc2 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 961abc7cbab..8fb8e5d8da2 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 fe5c2dbbe9c..2f214e6806f 100644 --- a/Master/texmf-dist/doc/latex/stex/statements/README +++ b/Master/texmf-dist/doc/latex/stex/statements/README @@ -6,5 +6,4 @@ 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) -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/ +Project home: https://github.com/KWARC/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 193da815504..cb62de6f889 100644 --- a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf +++ b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf diff --git a/Master/texmf-dist/doc/latex/stex/stex.pdf b/Master/texmf-dist/doc/latex/stex/stex.pdf Binary files differdeleted file mode 100644 index 8e8b19b4844..00000000000 --- a/Master/texmf-dist/doc/latex/stex/stex.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/stex/README b/Master/texmf-dist/doc/latex/stex/stex/README new file mode 100644 index 00000000000..d07ccbb7c66 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/stex/README @@ -0,0 +1,6 @@ +stex.sty: Semantic TeX (the packages all at once) + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/stex/stex.pdf b/Master/texmf-dist/doc/latex/stex/stex/stex.pdf Binary files differnew file mode 100644 index 00000000000..4ad877709a3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/stex/stex.pdf diff --git a/Master/texmf-dist/doc/latex/stex/structview/README b/Master/texmf-dist/doc/latex/stex/structview/README new file mode 100644 index 00000000000..1ca4729991b --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/structview/README @@ -0,0 +1,19 @@ +modules.sty: An Infrastructure for Semantic Macros and Module Scoping + +The modules package supplies an infrastructure that allows mark up semantic macros +and to reuse them efficiently in multiple environments. + +This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows +to markup TeX/LaTeX documents semantically without leaving the document format, +essentially turning it into a document format for mathematical knowledge management +(MKM). + +This package supplies a definition mechanism for semantic macros and a non-standard +scoping construct for them, which is oriented at the semantic depency relation rather +than the document structure. This structure can be used by MKM systems for +added-value services, either directly from the sTeX sources, or after translation. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/structview/structview.pdf b/Master/texmf-dist/doc/latex/stex/structview/structview.pdf Binary files differnew file mode 100644 index 00000000000..328f088e16f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/structview/structview.pdf diff --git a/Master/texmf-dist/doc/latex/stex/tikzinput/README b/Master/texmf-dist/doc/latex/stex/tikzinput/README new file mode 100644 index 00000000000..a28883e681b --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/tikzinput/README @@ -0,0 +1,7 @@ +tikzinput.sty: A LaTeX Package for selective input of external TIKZ diagrams + +Copyright (c) 2010 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +Project home: https://github.com/KWARC/sTeX/ + diff --git a/Master/texmf-dist/doc/latex/stex/tikzinput/tikzinput.pdf b/Master/texmf-dist/doc/latex/stex/tikzinput/tikzinput.pdf Binary files differnew file mode 100644 index 00000000000..28a3a3b5524 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/tikzinput/tikzinput.pdf diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/README b/Master/texmf-dist/doc/latex/stex/workaddress/README index 5a0ebfe9fb4..f21270b169d 100644 --- a/Master/texmf-dist/doc/latex/stex/workaddress/README +++ b/Master/texmf-dist/doc/latex/stex/workaddress/README @@ -6,7 +6,4 @@ harvested by automated tools or exported to PDF. Copyright (c) 2011 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/workaddress - +Project home: https://github.com/KWARC/sTeX/ diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf Binary files differindex 97cfdfc7402..bbedb575632 100644 --- a/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf +++ b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf |