diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex')
64 files changed, 0 insertions, 1390 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README deleted file mode 100644 index 1952eb98cee..00000000000 --- a/Master/texmf-dist/doc/latex/stex/README +++ /dev/null @@ -1,12 +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/sty/stex/ 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 54bc14c8d06..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 681044e8fdf..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 deleted file mode 100644 index 5fd3874b04a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/dcm/README +++ /dev/null @@ -1,12 +0,0 @@ -dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents - -The dcm packge allows mark up Dublin Core Metadata in LaTeX documents that can be -harvested by automated tools or exported to PDF. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/dcm - diff --git a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf Binary files differdeleted file mode 100644 index e437276fac4..00000000000 --- a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/Makefile b/Master/texmf-dist/doc/latex/stex/example/Makefile deleted file mode 100644 index df87da1fbee..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -STEXDIR = .. -MAKEDIRS = background paper -CLEANDIRS = $(MAKEDIRS) -include $(STEXDIR)/make/Makefile.subdirs diff --git a/Master/texmf-dist/doc/latex/stex/example/README b/Master/texmf-dist/doc/latex/stex/example/README deleted file mode 100644 index 7424d68ebca..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/README +++ /dev/null @@ -1,18 +0,0 @@ -This directory contains a typical (if minimal) example of a sTeX -collection, and a Makefile-based conversion workflow. It is intended -to test the sTeX distribution and serve as an example for sTeX users -to set up their system. It contains - -README: this file -Makefile: this contains rules to automate the PDF formatting and - XML conversion process. -background: a directory with background modules, this is assumed to - exist before starting work on the paper, in real life this - would probably be a subversion external. -paper: a directory with a paper based on two modules and the - background modules. -test: a directory that has the makefiles to accomodate your tests; - just copy your files there adjust TARGET and type make. - -For an explanation of the design of the example see paper/example.pdf or -https://trac.kwarc.info/sTeX/wiki/sTeXCollections diff --git a/Master/texmf-dist/doc/latex/stex/example/background/Makefile b/Master/texmf-dist/doc/latex/stex/example/background/Makefile deleted file mode 100644 index af7cc21e5eb..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -STEXDIR = ../.. -TARGET = all.tex -BUTFILES = pre.tex post.tex -MODSLIBDIR = . - -include $(STEXDIR)/make/Makefile.vars -all: omdoc mods pdf -include $(STEXDIR)/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc 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.tex b/Master/texmf-dist/doc/latex/stex/example/background/all.tex deleted file mode 100644 index 27df61d1e61..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.tex +++ /dev/null @@ -1,12 +0,0 @@ -\documentclass{omdoc} -\usepackage{stex} -\usepackage{hyperref,amssymb} -\defpath{backmods}{../background} -\begin{document} -\input{functions} -\input{reals} -\end{document} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: t -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc deleted file mode 100644 index 4577907ced1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc +++ /dev/null @@ -1,83 +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="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="functions.omdoc"> - <omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="functions.tex#textrange(from=1;0,to=11;13)"> - <metadata xml:id="sec.functions.p1" about="#sec.functions.p1" stex:srcref="functions.tex#textrange(from=1;0,to=10;12)"> - <dc:title stex:srcref="functions.tex#textrange(from=1;0,to=11;13)" xml:id="sec.functions.p1.p1" about="#sec.functions.p1.p1">Functions</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="functions" about="#functions" stex:srcref="functions.tex#textrange(from=2;0,to=10;12)"> - <symbol name="cart" xml:id="cart.sym" about="#cart.sym" stex:srcref="functions.tex#textrange(from=3;0,to=3;55)"/> - <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>function</idp></ide></idx><om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="A"/><om:OMV name="B"/></om:OMA></om:OMOBJ></p> - </CMP> - </definition> - </theory> - </omgroup> - <!--The data elements--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms deleted file mode 100644 index 9c7f4c79211..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms +++ /dev/null @@ -1,5 +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}}% -\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex deleted file mode 100644 index d71ee13a25b..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex +++ /dev/null @@ -1,15 +0,0 @@ -\begin{omgroup}[id=sec.functions,creators=miko]{Functions} -\begin{module}[id=functions] -\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}} -\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}} -\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}} - -\begin{definition}[id=functions.def] - A {\defin{function}} $\fun{f}AB$ is a left-total, right-unique relation in $\cart{A,B}$ -\end{definition} -\end{module} -\end{omgroup} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: "all" -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/example/background/post.tex b/Master/texmf-dist/doc/latex/stex/example/background/post.tex deleted file mode 100644 index 6b47932f52b..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/post.tex +++ /dev/null @@ -1 +0,0 @@ -\end{document} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/pre.tex b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex deleted file mode 100644 index 38faacc82b0..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/pre.tex +++ /dev/null @@ -1,6 +0,0 @@ -\documentclass{omdoc} -\usepackage{stex,amssymb} -\usepackage{hyperref} -\defpath{backmods}{../background} -% \baseURI[\backmods{}]{http://linkeddata.tntbase.org/stex} -% \coolurion diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc deleted file mode 100644 index 0f148890d06..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc +++ /dev/null @@ -1,72 +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="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="reals.omdoc"> - <omgroup layout="sectioning" xml:id="sec.reals" about="#sec.reals" stex:srcref="reals.tex#textrange(from=1;0,to=16;13)"> - <metadata xml:id="sec.reals.p1" about="#sec.reals.p1" stex:srcref="reals.tex#textrange(from=1;0,to=15;12)"> - <dc:title stex:srcref="reals.tex#textrange(from=1;0,to=16;13)" xml:id="sec.reals.p1.p1" about="#sec.reals.p1.p1">Real Numbers</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="reals" about="#reals" stex:srcref="reals.tex#textrange(from=2;0,to=15;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <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>real</idp><idp>numbers</idp></ide></idx> we all know and love with -<om:OMOBJ><om:OMS cd="reals" name="RealNumbers"/></om:OMOBJ>. -</p> - </CMP> - </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/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/background/reals.tex b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex deleted file mode 100644 index 6acdee48cbe..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex +++ /dev/null @@ -1,20 +0,0 @@ -\begin{omgroup}[id=sec.reals]{Real Numbers} -\begin{module}[id=reals] -\symdef{RealNumbers}{\mathbb{R}} -\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|} -\symdef{rfrac}[2]{\frac{#1}{#2}} - -\begin{definition}[id=reals.def] - We denote the set of {\twindef{real}{numbers}} we all know and love with - $\RealNumbers$. -\end{definition} - -\begin{definition}[id=absval.def] - The absolute value $\absval{r}$ of a real number $r$. -\end{definition} -\end{module} -\end{omgroup} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: "all" -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile deleted file mode 100644 index 1b71727ec2f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -STEXDIR = ../.. -TARGET = paper.tex -MODSLIBDIR = ../background - -include $(STEXDIR)/make/Makefile.vars -all: omdoc mods pdf -include $(STEXDIR)/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc deleted file mode 100644 index 6b73e519730..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc +++ /dev/null @@ -1,51 +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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="continuous.omdoc"> - <omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)"> - <metadata xml:id="sec.contfuncs.p1" about="#sec.contfuncs.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=12;12)"> - <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">Continuous Functions</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=12;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <imports from="../background/functions.omdoc#functions" xml:id="continuous.p1" about="#continuous.p1" stex:srcref="continuous.tex#textrange(from=3;0,to=3;46)"/> - <imports from="../background/reals.omdoc#reals" xml:id="continuous.p2" about="#continuous.p2" stex:srcref="continuous.tex#textrange(from=4;0,to=4;38)"/> - <symbol name="continuousfunctions" xml:id="continuousfunctions.sym" about="#continuousfunctions.sym" stex:srcref="continuous.tex#textrange(from=5;1,to=5;54)"/> - <notation cd="continuous" name="continuousfunctions"> - <prototype> - <om:OMA> - <om:OMS cd="continuous" cr="fun" name="continuousfunctions"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <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> - </rendering> - </notation> - <symbol name="continuous" xml:id="continuous.def.sym" about="#continuous.def.sym" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"/> - <definition for="continuous" xml:id="continuous.p5" about="#continuous.p5" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> - <CMP xml:id="continuous.p5.p1" about="#continuous.p5.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> - <p xml:id="continuous.p5.p1.p1" about="#continuous.p5.p1.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> -A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp>continuous</idp></ide></idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="δ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="ϵ"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="δ"/></om:OMA></om:OMOBJ></p> - </CMP> - </definition> - </theory> - </omgroup> - <!--The data elements--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms 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 deleted file mode 100644 index 65b6f832eae..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex +++ /dev/null @@ -1,17 +0,0 @@ -\begin{omgroup}[id=sec.contfuncs]{Continuous Functions} -\begin{module}[id=continuous] -\importmodule[\backmods{functions}]{functions} -\importmodule[\backmods{reals}]{reals} -\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)} -\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers} -\begin{definition} - A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defin{continuous}} at - $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that - $\absval{f(x)-f(y)}<\epsilon$ for all $\absval{x-y}<\delta$ -\end{definition} -\end{module} -\end{omgroup} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: "paper" -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc deleted file mode 100644 index b1415a2334b..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc +++ /dev/null @@ -1,51 +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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="Anonymous String#textrange(from=1;1,to=1;17)" xml:id="differentiable.omdoc"> - <omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)"> - <metadata xml:id="sec.differentiable.p1" about="#sec.differentiable.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)"> - <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">Differentiable Functions</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <imports from="./continuous.omdoc#continuous" xml:id="differentiable.p1" about="#differentiable.p1" stex:srcref="differentiable.tex#textrange(from=3;0,to=3;37)"/> - <symbol name="difffunctions" xml:id="difffunctions.sym" about="#difffunctions.sym" stex:srcref="differentiable.tex#textrange(from=4;1,to=4;48)"/> - <notation cd="differentiable" name="difffunctions"> - <prototype> - <om:OMA> - <om:OMS cd="differentiable" cr="fun" name="difffunctions"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <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> - </rendering> - </notation> - <symbol name="differentiable" xml:id="differentiable.def.sym" about="#differentiable.def.sym" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"/> - <definition for="differentiable continuous" xml:id="differentiable.p4" about="#differentiable.p4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <CMP xml:id="differentiable.p4.p1" about="#differentiable.p4.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <p xml:id="differentiable.p4.p1.p1" about="#differentiable.p4.p1.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> -A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp>differentiable</idp></ide></idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="δ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="rfrac"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="ϵ"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="δ"/></om:OMA></om:OMOBJ>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - <!--The data elements--> -</omdoc> diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms 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 deleted file mode 100644 index ee9c66f9409..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex +++ /dev/null @@ -1,16 +0,0 @@ -\begin{omgroup}[id=sec.differentiable]{Differentiable Functions} -\begin{module}[id=differentiable] -\importmodule[continuous]{continuous} -\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)} -\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers} -\begin{definition} - A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defin{differentiable}} at - $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that - $\rfrac{\absval{f(x)-f(y)}}{\absval{x-y}}<\epsilon$ for all $\absval{x-y}<\delta$. -\end{definition} -\end{module} -\end{omgroup} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: "paper" -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc deleted file mode 100644 index 02d7d746649..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc +++ /dev/null @@ -1,311 +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:omdoc="http://omdoc.org/ns" xmlns:m="http://www.w3.org/1998/Math/MathML" stex:srcref="paper.tex#textrange(from=15;1,to=15;17)" xml:id="paper.omdoc"> - <metadata xml:id="paper.omdoc.p1" about="#paper.omdoc.p1" stex:srcref="paper.tex#textrange(from=18;0,to=25;16)"> - <dc:creator xml:id="paper.omdoc.p1.p1" about="#paper.omdoc.p1.p1" stex:srcref="paper.tex#textrange(from=19;0,to=19;20)">MichaelKohlhase</dc:creator> - <dc:rights xml:id="paper.omdoc.p1.p2" about="#paper.omdoc.p1.p2" stex:srcref="paper.tex#textrange(from=20;0,to=20;49)">Copyright (c) 2009 Michael Kohlhase</dc:rights> - <dc:title xml:id="paper.omdoc.p1.p3" about="#paper.omdoc.p1.p3" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">An example of semantic Markup in <phrase xml:id="paper.omdoc.p1.p3.p1" about="#paper.omdoc.p1.p3.p1" stex:srcref="paper.tex#textrange(from=21;0,to=21;53)">sTeX</phrase></dc:title> - <dc:description xml:id="paper.omdoc.p1.p4" about="#paper.omdoc.p1.p4" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">In this note we give an example of semantic markup in <phrase xml:id="paper.omdoc.p1.p4.p1" about="#paper.omdoc.p1.p4.p1" stex:srcref="paper.tex#textrange(from=24;0,to=24;40)">sTeX</phrase>: -Continuous and differentiable functions are introduced using real numbers, sets and -functions as an assumed background.</dc:description> - </metadata> - <omgroup layout="sectioning" xml:id="intro" about="#intro" stex:srcref="paper.tex#textrange(from=27;0,to=110;13)"> - <metadata xml:id="intro.p1" about="#intro.p1" stex:srcref="paper.tex#textrange(from=27;0,to=27;39)"> - <dc:title stex:srcref="paper.tex#textrange(from=27;0,to=110;13)" xml:id="intro.p1.p1" about="#intro.p1.p1">Introduction</dc:title> - </metadata> - <omtext xml:id="intro.p2" about="#intro.p2" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)"> - <CMP xml:id="intro.p2.p1" about="#intro.p2.p1" stex:srcref="paper.tex#textrange(from=27;0,to=63;13)">We will show how to semantically mark up mathematics in the <phrase xml:id="intro.p2.p1.p1" about="#intro.p2.p1.p1" stex:srcref="paper.tex#textrange(from=27;1,to=28;68)">sTeX</phrase> -format <citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:ulsmf08"/> and how to convert it into -OMDoc <citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:omdoc1.3"/>. -We have some mathematical material in Section <ref type="cite" xref="sec.math" xml:id="intro.p2.p1.p2" about="#intro.p2.p1.p2" stex:srcref="paper.tex#textrange(from=31;29,to=32;56)"/> which will serve as example -content. In the rest of this section we will explain the setup of the example and -present an approach to automation of the OMDoc conversion via Unix Makefiles. -</CMP> - </omtext> - <omgroup layout="sectioning" xml:id="intro.p3" about="#intro.p3" stex:srcref="paper.tex#textrange(from=35;0,to=63;13)"> - <metadata xml:id="intro.p3.p1" about="#intro.p3.p1" stex:srcref="paper.tex#textrange(from=35;0,to=62;13)"> - <dc:title stex:srcref="paper.tex#textrange(from=35;0,to=63;13)" xml:id="intro.p3.p1.p1" about="#intro.p3.p1.p1">The Setup</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="setup" about="#setup" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <symbol name="target" xml:id="target.def.sym" about="#target.def.sym" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)"/> - <symbol name="module" xml:id="module.def.sym" about="#module.def.sym" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)"/> - <definition for="target module" xml:id="setup.p3" about="#setup.p3" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)"> - <CMP xml:id="setup.p3.p1" about="#setup.p3.p1" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)"> - <p xml:id="setup.p3.p1.p1" about="#setup.p3.p1.p1" stex:srcref="paper.tex#textrange(from=37;0,to=44;20)"> -The source of this note is contained in the file <phrase class="code" xml:id="setup.p3.p1.p1.p1" about="#setup.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=37;13,to=38;74)">paper.tex</phrase>. We call it -the <idx xml:id="setup.p3.p1.p1.p2" about="#setup.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)"><idt><term cd="setup" name="target" role="definiendum" xml:id="setup.p3.p1.p1.p2.p1" about="#setup.p3.p1.p1.p2.p1" stex:srcref="paper.tex#textrange(from=38;59,to=39;25)">target</term></idt><ide index="default"><idp>target</idp></ide></idx>, since formatting it with LaTeX will generate the main -document. The content in Section <ref type="cite" xref="sec.contfuncs" xml:id="setup.p3.p1.p1.p3" about="#setup.p3.p1.p1.p3" stex:srcref="paper.tex#textrange(from=39;33,to=40;52)"/> and Section <ref type="cite" xref="sec.differentiable" xml:id="setup.p3.p1.p1.p4" about="#setup.p3.p1.p1.p4" stex:srcref="paper.tex#textrange(from=39;1,to=40;84)"/> -comes from included files <phrase class="code" xml:id="setup.p3.p1.p1.p5" about="#setup.p3.p1.p1.p5" stex:srcref="paper.tex#textrange(from=40;5,to=41;56)">continuous.tex</phrase> and -<phrase class="code" xml:id="setup.p3.p1.p1.p6" about="#setup.p3.p1.p1.p6" stex:srcref="paper.tex#textrange(from=41;54,to=42;34)">differentiable.tex</phrase>, we will call them <idx xml:id="setup.p3.p1.p1.p7" about="#setup.p3.p1.p1.p7" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)"><idt><term cd="setup" name="module" role="definiendum" xml:id="setup.p3.p1.p1.p7.p1" about="#setup.p3.p1.p1.p7.p1" stex:srcref="paper.tex#textrange(from=41;18,to=42;70)">module</term></idt><ide index="default"><idp>module</idp></ide></idx>s, since they may -be used (i.e. included) by other target documents as well. -</p> - </CMP> - </definition> - <omtext xml:id="setup.p4" about="#setup.p4" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)"> - <CMP xml:id="setup.p4.p1" about="#setup.p4.p1" stex:srcref="paper.tex#textrange(from=36;0,to=54;19)">As the modules are built for inclusion into other documents, they are not -self-contained: -</CMP> - </omtext> - <omgroup layout="enumerate" xml:id="I1" about="#I1" stex:srcref="paper.tex#textrange(from=47;0,to=54;19)"> - <omtext xml:id="I1.p1" about="#I1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)"> - <CMP xml:id="I1.p1.p1" about="#I1.p1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)"> - <p xml:id="I1.p1.p1.p1" about="#I1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=47;42,to=48;11)">they do not contain a LaTeX preamble and -<phrase><omlet action="display" data="#id36156444" show="embed" style="" font="typewriter"/>/<omlet action="display" data="#id36151430" show="embed" style="" font="typewriter"/>, and -</phrase></p> - </CMP> - </omtext> - <omtext xml:id="I1.p2" about="#I1.p2" stex:srcref="paper.tex#textrange(from=49;76,to=50;11)"> - <CMP xml:id="I1.p2.p1" about="#I1.p2.p1" stex:srcref="paper.tex#textrange(from=49;76,to=50;11)"> - <p xml:id="I1.p2.p1.p1" about="#I1.p2.p1.p1" stex:srcref="paper.tex#textrange(from=49;76,to=50;11)">they may depend on other modules, whose semantic macros they need to include, -</p> - </CMP> - </omtext> - <omtext xml:id="I1.p3" about="#I1.p3" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)"> - <CMP xml:id="I1.p3.p1" about="#I1.p3.p1" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)"> - <p xml:id="I1.p3.p1.p1" about="#I1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=50;75,to=51;11)">to facilitate this a module file <phrase class="code" xml:id="I1.p3.p1.p1.p1" about="#I1.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=50;25,to=51;61)">modf.tex</phrase> comes with a “semantic -macro short form” <phrase class="code" xml:id="I1.p3.p1.p1.p2" about="#I1.p3.p1.p1.p2" stex:srcref="paper.tex#textrange(from=51;41,to=52;43)">modf.sms</phrase> that can be included without generating -output in the PDF. -</p> - </CMP> - </omtext> - </omgroup> - <symbol name="background-module" xml:id="background-module.def.sym"/> - <omtext xml:id="setup.p6" about="#setup.p6" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)"> - <CMP xml:id="setup.p6.p1" about="#setup.p6.p1" stex:srcref="paper.tex#textrange(from=36;0,to=62;13)">this will have consequences for the automation. Concretely, the module on -differentiable functions in Section <ref type="cite" xref="sec.differentiable" xml:id="setup.p6.p1.p1" about="#setup.p6.p1.p1" stex:srcref="paper.tex#textrange(from=55;32,to=56;58)"/> depends on that for continuous -functions in Section <ref type="cite" xref="sec.contfuncs" xml:id="setup.p6.p1.p2" about="#setup.p6.p1.p2" stex:srcref="paper.tex#textrange(from=56;51,to=57;38)"/>. Both of them depend on modules for real numbers, -sets and functions that we do not want to cover in this note. <phrase for="background-module" type="inlinedef" xml:id="setup.p6.p1.p3" about="#setup.p6.p1.p3" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">We assume that -they have already been marked up with the same methods as we describe here and are -accessible to us and call them <idx xml:id="setup.p6.p1.p3.p1" about="#setup.p6.p1.p3.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)"><idt><term cd="setup" name="background-module" role="definiendum" xml:id="setup.p6.p1.p3.p1.p1" about="#setup.p6.p1.p3.p1.p1" stex:srcref="paper.tex#textrange(from=59;17,to=60;69)">background module</term></idt><ide index="default"><idp>background</idp><idp>module</idp></ide></idx>s</phrase>. In our setup we -keep them in the subdirectory <phrase class="code" xml:id="setup.p6.p1.p4" about="#setup.p6.p1.p4" stex:srcref="paper.tex#textrange(from=60;2,to=61;54)">background</phrase>. -</CMP> - </omtext> - </theory> - </omgroup> - <omgroup layout="sectioning" xml:id="intro.p4" about="#intro.p4" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)"> - <metadata xml:id="intro.p4.p1" about="#intro.p4.p1" stex:srcref="paper.tex#textrange(from=65;0,to=65;51)"> - <dc:title stex:srcref="paper.tex#textrange(from=65;0,to=73;13)" xml:id="intro.p4.p1.p1" about="#intro.p4.p1.p1">Formatting and OMDoc conversion</dc:title> - </metadata> - <omtext xml:id="intro.p4.p2" about="#intro.p4.p2" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)"> - <CMP xml:id="intro.p4.p2.p1" about="#intro.p4.p2.p1" stex:srcref="paper.tex#textrange(from=65;0,to=73;13)">To format an <phrase xml:id="intro.p4.p2.p1.p1" about="#intro.p4.p2.p1.p1" stex:srcref="paper.tex#textrange(from=65;68,to=66;21)">sTeX</phrase> document — i.e. to produce a PDF file from the <phrase xml:id="intro.p4.p2.p1.p2" about="#intro.p4.p2.p1.p2" stex:srcref="paper.tex#textrange(from=65;11,to=66;78)">sTeX</phrase> marked-up -sources — we only need to run the <phrase class="code" xml:id="intro.p4.p2.p1.p3" about="#intro.p4.p2.p1.p3" stex:srcref="paper.tex#textrange(from=66;34,to=67;56)">pdflatex</phrase> program over the target document -— assuming that all modules (regular or background) have semantic macro short forms. -To convert an <phrase xml:id="intro.p4.p2.p1.p4" about="#intro.p4.p2.p1.p4" stex:srcref="paper.tex#textrange(from=69;66,to=70;22)">sTeX</phrase> document to OMDoc, we need to run <phrase class="code" xml:id="intro.p4.p2.p1.p5" about="#intro.p4.p2.p1.p5" stex:srcref="paper.tex#textrange(from=69;10,to=70;78)">latexml</phrase> over it, -post-process the result by <phrase class="code" xml:id="intro.p4.p2.p1.p6" about="#intro.p4.p2.p1.p6" stex:srcref="paper.tex#textrange(from=70;41,to=71;50)">latexmlpost</phrase>, and finally massage away all remaining -LaTeXML islands with a stylesheet, see  <citation xmlns:mcd="http://www.w3.org/ns/mathml-cd" bibrefs="kohlhase:ssmtl*"/> for details. -</CMP> - </omtext> - </omgroup> - <omgroup layout="sectioning" xml:id="intro.p5" about="#intro.p5" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)"> - <metadata xml:id="intro.p5.p1" about="#intro.p5.p1" stex:srcref="paper.tex#textrange(from=75;0,to=75;42)"> - <dc:title stex:srcref="paper.tex#textrange(from=75;0,to=108;13)" xml:id="intro.p5.p1.p1" about="#intro.p5.p1.p1">Makefile-based Automation</dc:title> - </metadata> - <omtext xml:id="intro.p5.p2" about="#intro.p5.p2" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)"> - <CMP xml:id="intro.p5.p2.p1" about="#intro.p5.p2.p1" stex:srcref="paper.tex#textrange(from=75;0,to=87;19)">As the conversion to OMDoc is rather complex (the programs in the three steps take a -variety of options), we support an automation by Unix Makefiles. There are three main -<phrase class="code" xml:id="intro.p5.p2.p1.p1" about="#intro.p5.p2.p1.p1" stex:srcref="paper.tex#textrange(from=77;10,to=78;16)">make</phrase> targets. -</CMP> - </omtext> - <omgroup layout="description" xml:id="I2" about="#I2" stex:srcref="paper.tex#textrange(from=79;0,to=87;19)"> - <omtext xml:id="I2.p1" about="#I2.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)"> - <metadata xml:id="I2.p1.p1" about="#I2.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)"> - <dc:title xml:id="I2.p1.p1.p1" about="#I2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)"> - <phrase class="code" xml:id="I2.p1.p1.p1.p1" about="#I2.p1.p1.p1.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">make omdoc</phrase> - </dc:title> - </metadata> - <CMP xml:id="I2.p1.p2" about="#I2.p1.p2" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)"> - <p xml:id="I2.p1.p2.p1" about="#I2.p1.p2.p1" stex:srcref="paper.tex#textrange(from=79;53,to=80;31)">will trigger the OMDoc transformation of the target -document. -</p> - </CMP> - </omtext> - <omtext xml:id="I2.p2" about="#I2.p2" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)"> - <metadata xml:id="I2.p2.p1" about="#I2.p2.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)"> - <dc:title xml:id="I2.p2.p1.p1" about="#I2.p2.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)"> - <phrase class="code" xml:id="I2.p2.p1.p1.p1" about="#I2.p2.p1.p1.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">make mods</phrase> - </dc:title> - </metadata> - <CMP xml:id="I2.p2.p2" about="#I2.p2.p2" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)"> - <p xml:id="I2.p2.p2.p1" about="#I2.p2.p2.p1" stex:srcref="paper.tex#textrange(from=81;55,to=82;31)">will trigger the OMDoc transformation of the modules. -</p> - </CMP> - </omtext> - <omtext xml:id="I2.p3" about="#I2.p3" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)"> - <metadata xml:id="I2.p3.p1" about="#I2.p3.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)"> - <dc:title xml:id="I2.p3.p1.p1" about="#I2.p3.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)"> - <phrase class="code" xml:id="I2.p3.p1.p1.p1" about="#I2.p3.p1.p1.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">make pdf</phrase> - </dc:title> - </metadata> - <CMP xml:id="I2.p3.p2" about="#I2.p3.p2" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)"> - <p xml:id="I2.p3.p2.p1" about="#I2.p3.p2.p1" stex:srcref="paper.tex#textrange(from=82;46,to=83;30)">will trigger the LaTeX formatting the target -</p> - </CMP> - </omtext> - <omtext xml:id="I2.p4" about="#I2.p4" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)"> - <metadata xml:id="I2.p4.p1" about="#I2.p4.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)"> - <dc:title xml:id="I2.p4.p1.p1" about="#I2.p4.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)"> - <phrase class="code" xml:id="I2.p4.p1.p1.p1" about="#I2.p4.p1.p1.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">make mpdf</phrase> - </dc:title> - </metadata> - <CMP xml:id="I2.p4.p2" about="#I2.p4.p2" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)"> - <p xml:id="I2.p4.p2.p1" about="#I2.p4.p2.p1" stex:srcref="paper.tex#textrange(from=83;47,to=84;31)">will trigger the LaTeX formatting the modules -</p> - </CMP> - </omtext> - <omtext xml:id="I2.p5" about="#I2.p5" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)"> - <metadata xml:id="I2.p5.p1" about="#I2.p5.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)"> - <dc:title xml:id="I2.p5.p1.p1" about="#I2.p5.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)"> - <phrase class="code" xml:id="I2.p5.p1.p1.p1" about="#I2.p5.p1.p1.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">make sms</phrase> - </dc:title> - </metadata> - <CMP xml:id="I2.p5.p2" about="#I2.p5.p2" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)"> - <p xml:id="I2.p5.p2.p1" about="#I2.p5.p2.p1" stex:srcref="paper.tex#textrange(from=84;57,to=85;30)">will trigger the re-generation of all semantic macro short -forms of modules (this is implicitly called in all the other <phrase class="code" xml:id="I2.p5.p2.p1.p1" about="#I2.p5.p2.p1.p1" stex:srcref="paper.tex#textrange(from=85;10,to=86;79)">make</phrase> targets) -</p> - </CMP> - </omtext> - </omgroup> - <omtext xml:id="intro.p5.p4" about="#intro.p5.p4" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)"> - <CMP xml:id="intro.p5.p4.p1" about="#intro.p5.p4.p1" stex:srcref="paper.tex#textrange(from=75;0,to=108;13)">To use this, we need to set up a <phrase class="code" xml:id="intro.p5.p4.p1.p1" about="#intro.p5.p4.p1.p1" stex:srcref="paper.tex#textrange(from=87;24,to=88;55)">Makefile</phrase> of the following form: - -<omlet xmlns:mcd="http://www.w3.org/ns/mathml-cd" action="display" show="embed" style="display:block" class="language_make" xml:id="LSTx1"><code><data format="listingblock"><table class="listing"><tr><td/><td>STEXDIR = ../..</td></tr><tr><td>2</td><td>TARGET = paper.tex</td></tr><tr><td/><td>MODSLIBDIR = ../background</td></tr><tr><td>4</td><td/></tr><tr><td/><td>include $(STEXDIR)/make/Makefile.vars</td></tr><tr><td>6</td><td>all: omdoc mods pdf</td></tr><tr><td/><td>include $(STEXDIR)/make/Makefile.in</td></tr></table></data></code></omlet> -The variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">STEXDIR</phrase> has to be set to the main directory of the <phrase xml:id="intro.p5.p4.p1.p3" about="#intro.p5.p4.p1.p3" stex:srcref="paper.tex#textrange(from=92;1,to=93;86)">sTeX</phrase> -distribution. The variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">TARGET</phrase> specifies the target document (all other -<phrase class="code" xml:id="intro.p5.p4.p1.p4" about="#intro.p5.p4.p1.p4" stex:srcref="paper.tex#textrange(from=94;73,to=95;17)">*.tex</phrase> files that are not excluded in the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILES</phrase> variables are -considered as modules). Here, the <phrase class="code" xml:id="intro.p5.p4.p1.p5" about="#intro.p5.p4.p1.p5" stex:srcref="paper.tex#textrange(from=95;32,to=96;56)">background</phrase> directory for convenience. The -<phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">MODSLIBDIR</phrase> specifies the location of the prefix and postfix files -<phrase class="code" xml:id="intro.p5.p4.p1.p6" about="#intro.p5.p4.p1.p6" stex:srcref="paper.tex#textrange(from=97;68,to=98;19)">pre.tex</phrase> and <phrase class="code" xml:id="intro.p5.p4.p1.p7" about="#intro.p5.p4.p1.p7" stex:srcref="paper.tex#textrange(from=97;44,to=98;43)">post.tex</phrase> that will be prepended and appended to the -modules to make them into complete files TeX files that can be converted. The last -three lines just include the Makefiles from the <phrase xml:id="intro.p5.p4.p1.p8" about="#intro.p5.p4.p1.p8" stex:srcref="paper.tex#textrange(from=99;32,to=100;56)">sTeX</phrase> distribution and configure the -default make target (<phrase class="code" xml:id="intro.p5.p4.p1.p9" about="#intro.p5.p4.p1.p9" stex:srcref="paper.tex#textrange(from=100;31,to=101;40)">make all</phrase>) to be produce the pdf version -Note that in the directory <phrase class="code" xml:id="intro.p5.p4.p1.p10" about="#intro.p5.p4.p1.p10" stex:srcref="paper.tex#textrange(from=102;36,to=103;49)">background</phrase> we have a very similar Makefile as -above. The only differences are that the variable <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">STEXDIR</phrase> is adapted and -that the <phrase xmlns:mcd="http://www.w3.org/ns/mathml-cd" class="listing ">BUTFILE</phrase> variable is set to <phrase class="code" xml:id="intro.p5.p4.p1.p11" about="#intro.p5.p4.p1.p11" stex:srcref="paper.tex#textrange(from=104;5,to=105;69)">pre.tex</phrase> and -<phrase class="code" xml:id="intro.p5.p4.p1.p12" about="#intro.p5.p4.p1.p12" stex:srcref="paper.tex#textrange(from=105;51,to=106;20)">post.tex</phrase>, so that they are not converted. In the directory -<phrase class="code" xml:id="intro.p5.p4.p1.p13" about="#intro.p5.p4.p1.p13" stex:srcref="paper.tex#textrange(from=106;56,to=107;22)">background</phrase> we have followed good practice by establishing a phony -</CMP> - </omtext> - </omgroup> - </omgroup> - <omgroup layout="sectioning" xml:id="sec.math" about="#sec.math" stex:srcref="paper.tex#textrange(from=112;0,to=116;13)"> - <metadata xml:id="sec.math.p1" about="#sec.math.p1" stex:srcref="paper.tex#textrange(from=112;0,to=112;50)"> - <dc:title stex:srcref="paper.tex#textrange(from=112;0,to=116;13)" xml:id="sec.math.p1.p1" about="#sec.math.p1.p1">Mathematical Content</dc:title> - </metadata> - <omtext xml:id="sec.math.p2" about="#sec.math.p2" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)"> - <CMP xml:id="sec.math.p2.p1" about="#sec.math.p2.p1" stex:srcref="paper.tex#textrange(from=112;0,to=13;13)">We present some standard mathematical definitions, here from calculus. -</CMP> - </omtext> - <omgroup layout="sectioning" xml:id="sec.contfuncs" about="#sec.contfuncs" stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)"> - <metadata xml:id="sec.contfuncs.p1" about="#sec.contfuncs.p1" stex:srcref="continuous.tex#textrange(from=1;0,to=12;12)"> - <dc:title stex:srcref="continuous.tex#textrange(from=1;0,to=13;13)" xml:id="sec.contfuncs.p1.p1" about="#sec.contfuncs.p1.p1">Continuous Functions</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="continuous" about="#continuous" stex:srcref="continuous.tex#textrange(from=2;0,to=12;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <imports from="../background/functions.omdoc#functions" xml:id="continuous.p1" about="#continuous.p1" stex:srcref="continuous.tex#textrange(from=3;0,to=3;46)"/> - <imports from="../background/reals.omdoc#reals" xml:id="continuous.p2" about="#continuous.p2" stex:srcref="continuous.tex#textrange(from=4;0,to=4;38)"/> - <symbol name="continuousfunctions" xml:id="continuousfunctions.sym" about="#continuousfunctions.sym" stex:srcref="continuous.tex#textrange(from=5;1,to=5;54)"/> - <notation cd="continuous" name="continuousfunctions"> - <prototype> - <om:OMA> - <om:OMS cd="continuous" cr="fun" name="continuousfunctions"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <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> - </rendering> - </notation> - <symbol name="continuous" xml:id="continuous.def.sym" about="#continuous.def.sym" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"/> - <definition for="continuous" xml:id="continuous.p5" about="#continuous.p5" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> - <CMP xml:id="continuous.p5.p1" about="#continuous.p5.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> - <p xml:id="continuous.p5.p1.p1" about="#continuous.p5.p1.p1" stex:srcref="continuous.tex#textrange(from=7;1,to=11;16)"> -A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <idx xml:id="continuous.p5.p1.p1.p2" about="#continuous.p5.p1.p1.p2" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)"><idt><term cd="continuous" name="continuous" role="definiendum" xml:id="continuous.p5.p1.p1.p2.p1" about="#continuous.p5.p1.p1.p2.p1" stex:srcref="continuous.tex#textrange(from=7;4,to=8;76)">continuous</term></idt><ide index="default"><idp>continuous</idp></ide></idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="δ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="ϵ"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="δ"/></om:OMA></om:OMOBJ></p> - </CMP> - </definition> - </theory> - </omgroup> - <omgroup layout="sectioning" xml:id="sec.differentiable" about="#sec.differentiable" stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)"> - <metadata xml:id="sec.differentiable.p1" about="#sec.differentiable.p1" stex:srcref="differentiable.tex#textrange(from=1;0,to=11;12)"> - <dc:title stex:srcref="differentiable.tex#textrange(from=1;0,to=12;13)" xml:id="sec.differentiable.p1.p1" about="#sec.differentiable.p1.p1">Differentiable Functions</dc:title> - </metadata> - <theory xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="differentiable" about="#differentiable" stex:srcref="differentiable.tex#textrange(from=2;0,to=11;12)"> - <imports from="../../../slides/extcds/omstd/arith1.omdoc#arith1"/> - <imports from="../../../slides/extcds/omstd/relation1.omdoc#relation1"/> - <imports from="./continuous.omdoc#continuous" xml:id="differentiable.p1" about="#differentiable.p1" stex:srcref="differentiable.tex#textrange(from=3;0,to=3;37)"/> - <symbol name="difffunctions" xml:id="difffunctions.sym" about="#difffunctions.sym" stex:srcref="differentiable.tex#textrange(from=4;1,to=4;48)"/> - <notation cd="differentiable" name="difffunctions"> - <prototype> - <om:OMA> - <om:OMS cd="differentiable" cr="fun" name="difffunctions"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <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> - </rendering> - </notation> - <symbol name="differentiable" xml:id="differentiable.def.sym" about="#differentiable.def.sym" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"/> - <definition for="differentiable continuous" xml:id="differentiable.p4" about="#differentiable.p4" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <CMP xml:id="differentiable.p4.p1" about="#differentiable.p4.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> - <p xml:id="differentiable.p4.p1.p1" about="#differentiable.p4.p1.p1" stex:srcref="differentiable.tex#textrange(from=6;1,to=10;16)"> -A function <om:OMOBJ><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="f"/><om:OMS cd="reals" name="RealNumbers"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ> is called <idx xml:id="differentiable.p4.p1.p1.p2" about="#differentiable.p4.p1.p1.p2" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)"><idt><term cd="differentiable" name="differentiable" role="definiendum" xml:id="differentiable.p4.p1.p1.p2.p1" about="#differentiable.p4.p1.p1.p2.p1" stex:srcref="differentiable.tex#textrange(from=6;4,to=7;80)">differentiable</term></idt><ide index="default"><idp>differentiable</idp></ide></idx> at -<om:OMOBJ><om:OMA><om:OMS cd="functions" name="inset"/><om:OMV name="x"/><om:OMS cd="reals" name="RealNumbers"/></om:OMA></om:OMOBJ>, iff for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="ϵ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ> there is a <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="gt"/><om:OMV name="δ"/><om:OMI>0</om:OMI></om:OMA></om:OMOBJ>, such that -<om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="rfrac"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="x"/></om:OMA><om:OMA><om:OMS cd="arith1" name="times"/><om:OMV name="f"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA></om:OMA><om:OMV name="ϵ"/></om:OMA></om:OMOBJ> for all <om:OMOBJ><om:OMA><om:OMS cd="relation1" name="lt"/><om:OMA><om:OMS cd="reals" name="absval"/><om:OMA><om:OMS cd="arith1" name="minus"/><om:OMV name="x"/><om:OMV name="y"/></om:OMA></om:OMA><om:OMV name="δ"/></om:OMA></om:OMOBJ>. -</p> - </CMP> - </definition> - </theory> - </omgroup> - </omgroup> - <omgroup layout="sectioning" xml:id="concl" about="#concl" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)"> - <metadata xml:id="concl.p1" about="#concl.p1" stex:srcref="paper.tex#textrange(from=118;0,to=118;37)"> - <dc:title stex:srcref="paper.tex#textrange(from=118;0,to=121;13)" xml:id="concl.p1.p1" about="#concl.p1.p1">Conclusion</dc:title> - </metadata> - <omtext xml:id="concl.p2" about="#concl.p2" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)"> - <CMP xml:id="concl.p2.p1" about="#concl.p2.p1" stex:srcref="paper.tex#textrange(from=118;0,to=121;13)">In this note we have given an example of standard mathematical markup and shown how a a -<phrase xml:id="concl.p2.p1.p1" about="#concl.p2.p1.p1" stex:srcref="paper.tex#textrange(from=119;42,to=120;8)">sTeX</phrase> collection can be set up for automation. -</CMP> - </omtext> - </omgroup> - <bibliography files="kwarc"/> - <!--The data elements--> - <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id36156444"> - <data format="text"><![CDATA[\begin]]></data> - </private> - <private xmlns:mcd="http://www.w3.org/ns/mathml-cd" xml:id="id36151430"> - <data format="text"><![CDATA[\end{document}]]></data> - </private> -</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 differdeleted file mode 100644 index 36705f2e2ba..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex deleted file mode 100644 index 2949019944d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex +++ /dev/null @@ -1,132 +0,0 @@ -\documentclass{omdoc} -\usepackage{stex,amssymb} -\usepackage{alltt} -\usepackage{hyperref} -\usepackage{listings} -\def\omdoc{OMDoc} -\def\latexml{LaTeXML} -\defpath{backmods}{../background} -%% defining the author metadata -\DCMperson[id=miko, - affiliation={Jacobs University, Bremen}, - url=http://kwarc.info/kohlhase] - {Michael Kohlhase} - -\begin{document} - -% metadata and title page -\begin{DCmetadata}[maketitle] - \DCMcreators{miko} - \DCMrights{Copyright (c) 2009 Michael Kohlhase} - \DCMtitle{An example of semantic Markup in {\sTeX}} - \DCMabstract{In this note we give an example of semantic markup in {\sTeX}: - Continuous and differentiable functions are introduced using real numbers, sets and - functions as an assumed background.} -\end{DCmetadata} - -\begin{omgroup}[id=intro]{Introduction} - We will show how to semantically mark up mathematics in the {\sTeX} - format~\cite{Kohlhase:ulsmf08} and how to convert it into - {\omdoc}~\cite{Kohlhase:OMDoc1.3}. - - We have some mathematical material in {\sref{sec.math}} which will serve as example - content. In the rest of this section we will explain the setup of the example and - present an approach to automation of the {\omdoc} conversion via Unix Makefiles. - \begin{omgroup}{The Setup} - \begin{module}[id=setup] - \begin{definition}[display=flow] - The source of this note is contained in the file {\texttt{paper.tex}}. We call it - the {\defin{target}}, since formatting it with {\LaTeX} will generate the main - document. The content in {\sref{sec.contfuncs}} and {\sref{sec.differentiable}} - comes from included files {\texttt{continuous.tex}} and - {\texttt{differentiable.tex}}, we will call them {\defin{module}s}, since they may - be used (i.e. included) by other target documents as well. - \end{definition} - As the modules are built for inclusion into other documents, they are not - self-contained: - \begin{enumerate} - \item they do not contain a {\LaTeX} preamble and - \verb|\begin|/\verb|\end{document}|, and - \item they may depend on other modules, whose semantic macros they need to include, - \item to facilitate this a module file {\texttt{modf.tex}} comes with a ``semantic - macro short form'' {\texttt{modf.sms}} that can be included without generating - output in the PDF. - \end{enumerate} - this will have consequences for the automation. Concretely, the module on - differentiable functions in {\sref{sec.differentiable}} depends on that for continuous - functions in {\sref{sec.contfuncs}}. Both of them depend on modules for real numbers, - sets and functions that we do not want to cover in this note. \inlinedef{We assume that - they have already been marked up with the same methods as we describe here and are - accessible to us and call them {\twindef{background}{module}s}}. In our setup we - keep them in the subdirectory {\texttt{background}}. - \end{module} -\end{omgroup} - -\begin{omgroup}{Formatting and {\omdoc} conversion} - To format an {\sTeX} document --- i.e. to produce a PDF file from the {\sTeX} marked-up - sources --- we only need to run the {\texttt{pdflatex}} program over the target document - --- assuming that all modules (regular or background) have semantic macro short forms. - - To convert an {\sTeX} document to {\omdoc}, we need to run {\texttt{latexml}} over it, - post-process the result by {\texttt{latexmlpost}}, and finally massage away all remaining - {\latexml} islands with a stylesheet, see ~\cite{Kohlhase:ssmtl*} for details. -\end{omgroup} - -\begin{omgroup}{Makefile-based Automation} - As the conversion to {\omdoc} is rather complex (the programs in the three steps take a - variety of options), we support an automation by Unix Makefiles. There are three main - {\texttt{make}} targets. -\begin{description} - \item[{\texttt{make omdoc}}] will trigger the {\omdoc} transformation of the target - document. - \item[{\texttt{make mods}}] will trigger the {\omdoc} transformation of the modules. - \item[{\texttt{make pdf}}] will trigger the {\LaTeX} formatting the target - \item[{\texttt{make mpdf}}] will trigger the {\LaTeX} formatting the modules - \item[{\texttt{make sms}}] will trigger the re-generation of all semantic macro short - forms of modules (this is implicitly called in all the other {\texttt{make}} targets) - \end{description} - To use this, we need to set up a {\texttt{{Makefile}}} of the following form: - - \lstset{columns=flexible,frame=lines,numbers=left,stepnumber=2,numberstyle=\tiny,basicstyle=\small} - \lstinputlisting[language=make]{Makefile} - - The variable {\lstinline{STEXDIR}} has to be set to the main directory of the {\sTeX} - distribution. The variable {\lstinline{TARGET}} specifies the target document (all other - {\texttt{*.tex}} files that are not excluded in the {\lstinline{BUTFILES}} variables are - considered as modules). Here, the {\texttt{background}} directory for convenience. The - {\lstinline{MODSLIBDIR}} specifies the location of the prefix and postfix files - {\texttt{pre.tex}} and {\texttt{post.tex}} that will be prepended and appended to the - modules to make them into complete files {\TeX} files that can be converted. The last - three lines just include the Makefiles from the {\sTeX} distribution and configure the - default make target (\texttt{make all}) to be produce the pdf version - - Note that in the directory {\texttt{background}} we have a very similar Makefile as - above. The only differences are that the variable {\lstinline{STEXDIR}} is adapted and - that the {\lstinline{BUTFILE}} variable is set to {\texttt{pre.tex}} and - {\texttt{post.tex}}, so that they are not converted. In the directory - {\texttt{background}} we have followed good practice by establishing a phony -\end{omgroup} - -\end{omgroup} - -\begin{omgroup}[id=sec.math]{Mathematical Content} - We present some standard mathematical definitions, here from calculus. - \sinput{continuous} - \sinput{differentiable} -\end{omgroup} - -\begin{omgroup}[id=concl]{Conclusion} - In this note we have given an example of standard mathematical markup and shown how a a - {\sTeX} collection can be set up for automation. -\end{omgroup} -\bibliographystyle{alpha} -\bibliography{kwarc} -\end{document} - -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: t -%%% End: - -% LocalWords: miko Makefiles tex contfuncs modf sms pdflatex latexml Makefile -% LocalWords: latexmlpost omdoc STEXDIR BUTFILES DIRS diff --git a/Master/texmf-dist/doc/latex/stex/example/test/Makefile b/Master/texmf-dist/doc/latex/stex/example/test/Makefile deleted file mode 100644 index 8417d489e81..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/test/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -STEXDIR = ../.. -TARGET = Konzept-Bremsmodell.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 deleted file mode 100644 index cebd165fa19..00000000000 --- a/Master/texmf-dist/doc/latex/stex/hwexam/README +++ /dev/null @@ -1,12 +0,0 @@ -hwexam.sty: An Infrastructure for marking up Homework Assignment Sheets and Exams - -The hwexam packge allows individual course assignment sheets and compond -assignment documents using problem files marked up with the problem package. - -Copyright (c) 2010 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/hwexam - diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf Binary files differdeleted file mode 100644 index cbb89e36794..00000000000 --- a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/README b/Master/texmf-dist/doc/latex/stex/metakeys/README deleted file mode 100644 index 56c6eea13b2..00000000000 --- a/Master/texmf-dist/doc/latex/stex/metakeys/README +++ /dev/null @@ -1,11 +0,0 @@ -omd.sty: A generic framework for extensible Metadata in LaTeX - -The omd packge supplies the infrastructure for extending sTeX macros with ontology-based -metadata. This is a package primarily aimed at authors of sTeX extensions. - -Copyright (c) 2009 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/metakeys diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf Binary files differdeleted file mode 100644 index 735b2f53ddf..00000000000 --- a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/README b/Master/texmf-dist/doc/latex/stex/mikoslides/README deleted file mode 100644 index 822e74a199a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/mikoslides/README +++ /dev/null @@ -1,11 +0,0 @@ -mikoslides.cls: A Document class for Semantic Slides - -The mikoslides class provides a practical basis for marking up slides semantically in sTeX. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/mikoslides - diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf Binary files differdeleted file mode 100644 index b90cbd5d30a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/modules/README b/Master/texmf-dist/doc/latex/stex/modules/README deleted file mode 100644 index bc64ed35416..00000000000 --- a/Master/texmf-dist/doc/latex/stex/modules/README +++ /dev/null @@ -1,21 +0,0 @@ -modules.sty: An Infrastructure for Semantic Macros and Module Scoping - -The modules package supplies an infrastructure that allows mark up semantic macros -and to reuse them efficiently in multiple environments. - -This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows -to markup TeX/LaTeX documents semantically without leaving the document format, -essentially turning it into a document format for mathematical knowledge management -(MKM). - -This package supplies a definition mechanism for semantic macros and a non-standard -scoping construct for them, which is oriented at the semantic depency relation rather -than the document structure. This structure can be used by MKM systems for -added-value services, either directly from the sTeX sources, or after translation. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/modules diff --git a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf Binary files differdeleted file mode 100644 index 19325c00531..00000000000 --- a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README deleted file mode 100644 index 2a5111f8d38..00000000000 --- a/Master/texmf-dist/doc/latex/stex/omdoc/README +++ /dev/null @@ -1,12 +0,0 @@ -omdoc.cls: A LaTeX Class for OMDoc Documents -omdoc.sty: A LaTeX Package for OMDoc Document structures - -This package and class supplies a the infrastructure for writing OMDoc documents -(see http://www.omdoc.org) in LaTeX. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/omdoc - diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf Binary files differdeleted file mode 100644 index 748bd0ba232..00000000000 --- a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/omtext/README b/Master/texmf-dist/doc/latex/stex/omtext/README deleted file mode 100644 index 579f02789b3..00000000000 --- a/Master/texmf-dist/doc/latex/stex/omtext/README +++ /dev/null @@ -1,12 +0,0 @@ -omtext.sty: A LaTeX Package for OMDoc Text environments - -This package supplies a the infrastructure for writing OMDoc text fragments. -(see http://www.omdoc.org) in LaTeX. - -Copyright (c) 2010 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/omtext - diff --git a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf Binary files differdeleted file mode 100644 index eee9af67ad2..00000000000 --- a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/presentation/README b/Master/texmf-dist/doc/latex/stex/presentation/README deleted file mode 100644 index 6fd953f20d1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/presentation/README +++ /dev/null @@ -1,16 +0,0 @@ -presentation.sty: An Infrastructure for Presenting Semantic Macros - -This package supplies an infrastructure that allows to specify the presentation of -semantic macros, including preference-based bracket elision. This allows to markup the -functional structure of mathematical formulae without having to lose high-quality -human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by -MKM systems for added-value services, either directly from the {\sTeX} sources, or after -translation. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at -https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation - diff --git a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf Binary files differdeleted file mode 100644 index e7b90a82151..00000000000 --- a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/problem/README b/Master/texmf-dist/doc/latex/stex/problem/README deleted file mode 100644 index 77b9314109e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/problem/README +++ /dev/null @@ -1,10 +0,0 @@ -problem.sty: An Infrastructure for marking up Problems - -The problem package supplies an infrastructure that allows mark up problems and to reuse -them efficiently in multiple environments. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/problem diff --git a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf Binary files differdeleted file mode 100644 index 6f0232ee6d0..00000000000 --- a/Master/texmf-dist/doc/latex/stex/problem/problem.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 f9f7b443061..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 6365a8adb7a..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 78ea705fa5f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex +++ /dev/null @@ -1,126 +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} - - -\DCMperson[id=jdoe,affiliation={DFKI Bremen}, - url=http://dfki.de/jdoe]{John Doe} - -\DCMperson[id=miko,affiliation={Jacobs University, Bremen}, - url=http://kwarc.info/kohlhase]{Michael Kohlhase} - -\begin{document} -\svnInfo $Id: requirements.tex 1324 2010-05-07 07:18:32Z kohlhase $ -\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $ -\begin{DCmetadata}[maketitle] - \DCMtitle{Requirements for Semantic Requirements Documents} - \DCMcreators{miko,jdoe} - \DCMdate{\today} - \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}} - and {\texttt{VMeta}} from {\stex}} - \VMversion{1.5} - \VMdocstate{current} - \VMcreated{28.01.2008} - \VMresponsible{miko} -\end{DCmetadata} - -\begin{VMchangelist} - \begin{VMchange}{07.02.08}{1.0}{miko} - made initiale version 1.0 (empty skeleton file) - \end{VMchange} - \begin{VMchange}{07.03.08}{1.1}{miko} - added two requirements - \end{VMchange} - \begin{VMchange}{12.05.08}{1.2}{miko} - simplified some formulations - \end{VMchange} - \begin{VMchange}{17.05.08}{1.3}{miko} - added third requirement that depends on the first two. - \end{VMchange} -\end{VMchangelist} - -\begin{VMcertification} - \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work} - some formulations still unclear, but correct in principle - \end{VMcertified} - \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI} - may need another requirement. - \end{VMcertified} - \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI} - certified: this is what DFKI wants. - \end{VMcertified} -\end{VMcertification} -\clearpage - -\begin{omgroup}{Introduction} -\begin{omtext} -In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the -requirements themselves are quite phony, since they are only for introductory purposes. -\end{omtext} -\end{omgroup} - - -\begin{module}[id=user-general-reqs] -\importmodule[cds/background]{background} - -\begin{omgroup}{Some Requirements} - -\begin{requirements}[numbering=yes,prefix=U] - \begin{requirement}[id=acceptdata,prio=2] - {Accept {\termref[cd=background,name=data]{data}} from heterogeneous - {\termref[cd=background,name=source]{data sources}}} - \reqnote{in particular: $\data$} - \end{requirement} - - \begin{requirement}[id=reftest,prio=1] - {do something with the data to test the reference} - \reqnote{not really, this is just a test} - \end{requirement} - - \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}] - {do something with the data to test the reference} - \reqnote{not really, this is just a test} - \end{requirement} -\end{requirements} -\end{omgroup} - -\begin{omgroup}{Requirements as tables} - -\begin{omtext} - We can also format requirements as tables -\end{omtext} - -\begin{reqtable}[prefix=U] - \reqline[id=tabacceptdata,prio=2] - {Accept {\termref[cd=background,name=data]{data}} from heterogeneous - {\termref[cd=background,name=source]{data sources}}} - {in particular: $\data$} - - \reqline[id=tabreftest,prio=1] - {do something with the data to test the reference - - do something with the data to test the reference} - {not really, this is just a test} - - \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}] - {do something with the data to test the reference} - {not really, this is just a test} -\end{reqtable} -\end{omgroup} -\end{module} - -\begin{omgroup}{Conclusion} - \begin{omtext} - See, it was quite simple - \end{omtext} -\end{omgroup} -\end{document} -\input{rest} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% End: - diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README deleted file mode 100644 index 0b2a9844ec0..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sproof/README +++ /dev/null @@ -1,11 +0,0 @@ -sproof.sty: An Infrastructure for Structural Markup for Proofs - -This package supplies macros and environment that allow to annotate the structure of -mathematical proofs. This structure can be used by MKM systems for added-value services, -either directly from the sTeX sources, or after translation via the LaTeXML system. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sproof diff --git a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf Binary files differdeleted file mode 100644 index 28f43dfe3e7..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/sref/README b/Master/texmf-dist/doc/latex/stex/sref/README deleted file mode 100644 index 457691747cd..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/README +++ /dev/null @@ -1,10 +0,0 @@ -sref.sty: A LaTeX Package for semantic crossreferences - -This package and class supplies a the infrastructure for crossreferencing across multiple files - -Copyright (c) 2009 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sref - diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.pdf b/Master/texmf-dist/doc/latex/stex/sref/book.pdf Binary files differdeleted file mode 100644 index f616243640d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/book.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.tex b/Master/texmf-dist/doc/latex/stex/sref/book.tex deleted file mode 100644 index f2f6d5d0c0d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/book.tex +++ /dev/null @@ -1,18 +0,0 @@ -\documentclass{book} -\usepackage{omtext,omdoc} -\title{Advanced Crossreferencing in {\LaTeX}} -\author{Elder Researcher (ed.)} -\usepackage{hyperref} -\begin{document} -\maketitle -\tableofcontents -\newpage -\chapter{Semantic Crossreferencing (Jane Doe, ...)} -\input{idcmain}\newpage -\chapter{Inter-Document Crossreferencing (John Bull, ...)} -\input{scrmain} -\end{document} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: t -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf Binary files differdeleted file mode 100644 index c3d51b8e7ff..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.tex b/Master/texmf-dist/doc/latex/stex/sref/idc.tex deleted file mode 100644 index f85a3413758..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/idc.tex +++ /dev/null @@ -1,21 +0,0 @@ -\documentclass[extrefs]{omdoc} -\usepackage{omtext} -\makeextrefs{idc} -\inputrefs{scr}{scr} -\extrefstyle{scr}{\cite[\protect{\theextref}]{scrcit}} -\title{Inter-Document Crossreferencing} -\author{John Bull} -\usepackage{hyperref} -\begin{document} -\maketitle\newpage -\input{idcmain}\newpage -\begin{thebibliography}{SCR} -\bibitem[SCR]{scrcit} -Jane Doe\newblock \href{scr.pdf}{Semantic Crossreferencing}\newblock Personal communication. -\end{thebibliography} -\end{document} - -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: t -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf Binary files differdeleted file mode 100644 index dae710266c8..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.tex b/Master/texmf-dist/doc/latex/stex/sref/scr.tex deleted file mode 100644 index 16b35003027..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/scr.tex +++ /dev/null @@ -1,20 +0,0 @@ -\documentclass[extrefs]{omdoc} -\usepackage{omtext} -\makeextrefs{scr} -\inputrefs{idc}{idc} -\extrefstyle{idc}{\cite[\protect{\theextref}]{idccit}} -\title{Semantic Crossreferencing} -\author{Jane Doe} -\usepackage{hyperref} -\begin{document} -\maketitle -\input{scrmain} -\begin{thebibliography}{IDC} -\bibitem[IDC]{idccit} -John Bull\newblock \href{scr.pdf}{Inter-Document Crossreferencing}\newblock Personal communication -\end{thebibliography} -\end{document} -%%% Local Variables: -%%% mode: LaTeX -%%% TeX-master: t -%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf Binary files differdeleted file mode 100644 index 1cb747475d1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/statements/README b/Master/texmf-dist/doc/latex/stex/statements/README deleted file mode 100644 index fe5c2dbbe9c..00000000000 --- a/Master/texmf-dist/doc/latex/stex/statements/README +++ /dev/null @@ -1,10 +0,0 @@ -statements.sty: A LaTeX Package for mathematical Statements - -This package and class supplies a the infrastructure for writing OMDoc statements -(see http://www.omdoc.org) in LaTeX. - -Copyright (c) 2008 Michael Kohlhase -The package is distributed under the terms of the LaTeX Project Public License (LPPL) - -See http://trac.kwarc.info/sTeX for the project homepage, the development version -of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/ diff --git a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf Binary files differdeleted file mode 100644 index 031b5a52334..00000000000 --- a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf +++ /dev/null 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 |