summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/example
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/example')
-rw-r--r--macros/latex/contrib/stex/example/Makefile4
-rw-r--r--macros/latex/contrib/stex/example/README16
-rw-r--r--macros/latex/contrib/stex/example/background/Makefile9
-rw-r--r--macros/latex/contrib/stex/example/background/all.pdfbin57294 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/background/all.tex12
-rw-r--r--macros/latex/contrib/stex/example/background/functions.omdoc187
-rw-r--r--macros/latex/contrib/stex/example/background/functions.pdfbin48605 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/background/functions.tex22
-rw-r--r--macros/latex/contrib/stex/example/background/post.tex1
-rw-r--r--macros/latex/contrib/stex/example/background/pre.tex8
-rw-r--r--macros/latex/contrib/stex/example/background/reals.pdfbin53143 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/background/reals.tex20
-rw-r--r--macros/latex/contrib/stex/example/paper/Makefile8
-rw-r--r--macros/latex/contrib/stex/example/paper/continuous.pdfbin61902 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/paper/continuous.tex20
-rw-r--r--macros/latex/contrib/stex/example/paper/differentiable.pdfbin76785 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/paper/differentiable.tex16
-rw-r--r--macros/latex/contrib/stex/example/paper/intro.pdfbin96601 -> 0 bytes
-rw-r--r--macros/latex/contrib/stex/example/paper/intro.tex96
-rw-r--r--macros/latex/contrib/stex/example/paper/paper.tex148
20 files changed, 0 insertions, 567 deletions
diff --git a/macros/latex/contrib/stex/example/Makefile b/macros/latex/contrib/stex/example/Makefile
deleted file mode 100644
index 47c6188266..0000000000
--- a/macros/latex/contrib/stex/example/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-STEXDIR = ..
-MAKEDIRS = background paper
-CLEANDIRS = $(MAKEDIRS)
-include $(STEXDIR)/lib/make/Makefile.subdirs
diff --git a/macros/latex/contrib/stex/example/README b/macros/latex/contrib/stex/example/README
deleted file mode 100644
index fdba0ac819..0000000000
--- a/macros/latex/contrib/stex/example/README
+++ /dev/null
@@ -1,16 +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.
-
-For an explanation of the design of the example see paper/example.pdf or
-https://trac.kwarc.info/sTeX/wiki/sTeXCollections
diff --git a/macros/latex/contrib/stex/example/background/Makefile b/macros/latex/contrib/stex/example/background/Makefile
deleted file mode 100644
index 67b4dc3d18..0000000000
--- a/macros/latex/contrib/stex/example/background/Makefile
+++ /dev/null
@@ -1,9 +0,0 @@
-STEXDIR = ../..
-TARGET = all.tex
-BUTFILES = pre.tex post.tex
-MODSLIBDIR = .
-BIBINPUTS = $(PREFIX)/lib/bib:
-
-include $(STEXDIR)/lib/make/Makefile.vars
-all: pdf mpdf
-include $(STEXDIR)/lib/make/Makefile.in
diff --git a/macros/latex/contrib/stex/example/background/all.pdf b/macros/latex/contrib/stex/example/background/all.pdf
deleted file mode 100644
index debf135663..0000000000
--- a/macros/latex/contrib/stex/example/background/all.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/background/all.tex b/macros/latex/contrib/stex/example/background/all.tex
deleted file mode 100644
index 27df61d1e6..0000000000
--- a/macros/latex/contrib/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/macros/latex/contrib/stex/example/background/functions.omdoc b/macros/latex/contrib/stex/example/background/functions.omdoc
deleted file mode 100644
index 72adb2e3b2..0000000000
--- a/macros/latex/contrib/stex/example/background/functions.omdoc
+++ /dev/null
@@ -1,187 +0,0 @@
-<?xml version="1.0"?>
-<!--This OMDoc document is generated from an sTeX-encoded one via LaTeXML, you
- may want to reconsider editing it.-->
-<omdoc xmlns:omdoc="http://omdoc.org/ns" xmlns="http://omdoc.org/ns" xmlns:stex="http://kwarc.info/ns/sTeX" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:om="http://www.openmath.org/OpenMath" xmlns:m="http://www.w3.org/1998/Math/MathML" xml:id="omdoc1" about="#omdoc1" stex:srcref="Literal String \documentc#textrange(from=1;0,to=0;0)">
- <omdoc:omgroup layout="sectioning" xml:id="sec.functions" about="#sec.functions" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)">
- <omdoc:metadata xml:id="sec.functions.metadata1" about="#sec.functions.metadata1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)">
- <dc:title xml:id="sec.functions.metadata1.title1" about="#sec.functions.metadata1.title1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=1;0,to=18;13)">Functions</dc:title>
- </omdoc:metadata>
- <omdoc:theory xml:id="functions" about="#functions" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=2;0,to=17;12)">
- <omdoc:symbol name="cart" xml:id="functions.symbol1" about="#functions.symbol1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=3;0,to=3;55)"/>
- <omdoc:notation cd="functions" name="cart" stex:macro_name="cart" stex:nargs="1" xml:id="functions.notation2" about="#functions.notation2" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=3;0,to=3;55)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="cart"/>
- <omdoc:exprlist name="args">
- <omdoc:expr name="arg"/>
- </omdoc:exprlist>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering precedence="500">
- <omdoc:iterate name="args">
- <omdoc:separator>
- <m:mo cr="fun">&#xD7;</m:mo>
- </omdoc:separator>
- <omdoc:render name="arg"/>
- </omdoc:iterate>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="fun" xml:id="functions.symbol3" about="#functions.symbol3" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=4;0,to=4;71)"/>
- <omdoc:notation cd="functions" name="fun" stex:macro_name="fun" stex:nargs="3" xml:id="functions.notation4" about="#functions.notation4" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=4;0,to=4;71)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="fun"/>
- <omdoc:expr name="arg1"/>
- <omdoc:expr name="arg2"/>
- <omdoc:expr name="arg3"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering precedence="200">
- <omdoc:render name="arg1" precedence="200"/>
- <m:mo cr="fun">:</m:mo>
- <omdoc:render name="arg2" precedence="200"/>
- <m:mo cr="fun">&#x2192;</m:mo>
- <omdoc:render name="arg3" precedence="200"/>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="inset" xml:id="functions.symbol5" about="#functions.symbol5" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=5;0,to=5;45)"/>
- <omdoc:notation cd="functions" name="inset" stex:macro_name="inset" stex:nargs="2" xml:id="functions.notation6" about="#functions.notation6" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=5;0,to=5;45)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="inset"/>
- <omdoc:expr name="arg1"/>
- <omdoc:expr name="arg2"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering precedence="650">
- <omdoc:render name="arg1" precedence="650"/>
- <m:mo cr="fun">&#x2208;</m:mo>
- <omdoc:render name="arg2" precedence="650"/>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="sseteq" xml:id="functions.symbol7" about="#functions.symbol7" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=6;0,to=6;41)"/>
- <omdoc:notation cd="functions" name="sseteq" stex:macro_name="sseteqOp" stex:nargs="0" xml:id="functions.notation8" about="#functions.notation8" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=6;0,to=6;41)">
- <omdoc:prototype>
- <om:OMS cd="functions" name="sseteq"/>
- </omdoc:prototype>
- <omdoc:rendering>
- <m:mo>&#x2286;</m:mo>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="sseteq" xml:id="functions.symbol9" about="#functions.symbol9" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=7;0,to=7;50)"/>
- <omdoc:notation cd="functions" name="sseteq" stex:macro_name="sseteq" stex:nargs="2" xml:id="functions.notation10" about="#functions.notation10" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=7;0,to=7;50)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="sseteq"/>
- <omdoc:expr name="arg1"/>
- <omdoc:expr name="arg2"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering precedence="300">
- <omdoc:render name="arg1" precedence="300"/>
- <m:mo cr="fun">&#x2286;</m:mo>
- <omdoc:render name="arg2" precedence="300"/>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="tup" xml:id="functions.symbol11" about="#functions.symbol11" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=8;0,to=8;33)"/>
- <omdoc:notation cd="functions" name="tup" stex:macro_name="tup" stex:nargs="1" xml:id="functions.notation12" about="#functions.notation12" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=8;0,to=8;33)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="tup"/>
- <omdoc:expr name="arg1"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering>
- <m:mrow>
- <m:mo stretchy="false">&#x27E8;</m:mo>
- <omdoc:render name="arg1"/>
- <m:mo stretchy="false">&#x27E9;</m:mo>
- </m:mrow>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:notation cd="functions" name="cart" stex:macro_name="cart" stex:nargs="1" xml:id="functions.notation13" about="#functions.notation13" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=9;0,to=9;34)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="cart"/>
- <omdoc:expr name="arg1"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering>
- <omdoc:iterate name="args">
- <omdoc:separator>
- <m:mo cr="fun">&#xD7;</m:mo>
- </omdoc:separator>
- <omdoc:render name="arg"/>
- </omdoc:iterate>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="setdiff" xml:id="functions.symbol14" about="#functions.symbol14" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=10;0,to=10;44)"/>
- <omdoc:notation cd="functions" name="setdiff" stex:macro_name="setdiffOp" stex:nargs="0" xml:id="functions.notation15" about="#functions.notation15" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=10;0,to=10;44)">
- <omdoc:prototype>
- <om:OMS cd="functions" name="setdiff"/>
- </omdoc:prototype>
- <omdoc:rendering>
- <m:mo>\</m:mo>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="setdiff" xml:id="functions.symbol16" about="#functions.symbol16" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=11;0,to=11;59)"/>
- <omdoc:notation cd="functions" name="setdiff" stex:macro_name="setdiff" stex:nargs="2" xml:id="functions.notation17" about="#functions.notation17" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=11;0,to=11;59)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="setdiff"/>
- <omdoc:expr name="arg1"/>
- <omdoc:expr name="arg2"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering precedence="600">
- <omdoc:render name="arg1" precedence="600"/>
- <m:mo cr="fun">\</m:mo>
- <omdoc:render name="arg2" precedence="600"/>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="set" xml:id="functions.symbol18" about="#functions.symbol18" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=12;0,to=12;62)"/>
- <omdoc:notation cd="functions" name="set" stex:macro_name="set" stex:nargs="1" xml:id="functions.notation19" about="#functions.notation19" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=12;0,to=12;62)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="set"/>
- <omdoc:exprlist name="args">
- <omdoc:expr name="arg"/>
- </omdoc:exprlist>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering>
- <m:mo cr="fun">{</m:mo>
- <omdoc:iterate name="args" precedence="neginfty">
- <omdoc:separator>
- <m:mo cr="fun">,</m:mo>
- </omdoc:separator>
- <omdoc:render name="arg" precedence="neginfty"/>
- </omdoc:iterate>
- <m:mo cr="fun">}</m:mo>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="setst" xml:id="functions.symbol20" about="#functions.symbol20" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=13;0,to=13;66)"/>
- <omdoc:notation cd="functions" name="setst" stex:macro_name="setst" stex:nargs="2" xml:id="functions.notation21" about="#functions.notation21" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=13;0,to=13;66)">
- <omdoc:prototype>
- <om:OMA>
- <om:OMS cd="functions" cr="fun" name="setst"/>
- <omdoc:expr name="arg1"/>
- <omdoc:expr name="arg2"/>
- </om:OMA>
- </omdoc:prototype>
- <omdoc:rendering>
- <m:mo cr="fun">{</m:mo>
- <omdoc:render name="arg1" precedence="neginfty"/>
- <m:mo cr="fun">&#x2223;</m:mo>
- <omdoc:render name="arg2" precedence="neginfty"/>
- <m:mo cr="fun">}</m:mo>
- </omdoc:rendering>
- </omdoc:notation>
- <omdoc:symbol name="function" xml:id="function.def.sym" about="#function.def.sym" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=16;16)"/>
- <omdoc:definition for="function" xml:id="functions.def" about="#functions.def" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=16;16)">
- <omdoc:CMP xml:id="functions.def.CMP1" about="#functions.def.CMP1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=14;36)">
-<p xmlns="http://www.w3.org/1999/xhtml" id="functions.def.CMP1.p1" class="ltx_p" about="#functions.def.CMP1.p1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;0,to=14;36)">A <omdoc:term cd="functions" name="function" role="definiendum" xml:id="functions.def.CMP1.p1.term1" about="#functions.def.CMP1.p1.term1" stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;67,to=15;20)">function</omdoc:term> <om:OMOBJ stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;61,to=15;32)"><om:OMA><om:OMS cd="functions" name="fun"/><om:OMV name="&#x1D453;"/><om:OMV name="&#x1D434;"/><om:OMV name="&#x1D435;"/></om:OMA></om:OMOBJ> is a left-total, right-unique relation in <om:OMOBJ stex:srcref="/Users/kohlhase/localmh/ext/sTeX/example/background/functions.tex#textrange(from=14;6,to=15;87)"><om:OMA><om:OMS cd="functions" name="cart"/><om:OMV name="&#x1D434;"/><om:OMV name="&#x1D435;"/></om:OMA></om:OMOBJ></p></omdoc:CMP>
- </omdoc:definition>
- </omdoc:theory>
- </omdoc:omgroup>
-</omdoc>
diff --git a/macros/latex/contrib/stex/example/background/functions.pdf b/macros/latex/contrib/stex/example/background/functions.pdf
deleted file mode 100644
index 50567084b3..0000000000
--- a/macros/latex/contrib/stex/example/background/functions.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/background/functions.tex b/macros/latex/contrib/stex/example/background/functions.tex
deleted file mode 100644
index d4ac497685..0000000000
--- a/macros/latex/contrib/stex/example/background/functions.tex
+++ /dev/null
@@ -1,22 +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}}
-\symdef[name=sseteq]{sseteqOp}{\subseteq}
-\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}}
-\symdef{tup}[1]{\langle#1\rangle}
-\symdef{cart}[1]{\assoc\times{#1}}
-\symdef[name=setdiff]{setdiffOp}{\backslash}
-\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}}
-\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}
-\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}}
-\begin{definition}[id=functions.def]
- A {\defi{function}} $\fun{f}AB$ is a left-total, right-unique relation in $\cart{A,B}$
-\end{definition}
-\end{module}
-\end{omgroup}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: "all"
-%%% End:
diff --git a/macros/latex/contrib/stex/example/background/post.tex b/macros/latex/contrib/stex/example/background/post.tex
deleted file mode 100644
index 6b47932f52..0000000000
--- a/macros/latex/contrib/stex/example/background/post.tex
+++ /dev/null
@@ -1 +0,0 @@
-\end{document}
diff --git a/macros/latex/contrib/stex/example/background/pre.tex b/macros/latex/contrib/stex/example/background/pre.tex
deleted file mode 100644
index 59f9473ea4..0000000000
--- a/macros/latex/contrib/stex/example/background/pre.tex
+++ /dev/null
@@ -1,8 +0,0 @@
-\documentclass{omdoc}
-\usepackage{stex,amssymb,lststex}
-\usepackage{hyperref}
-\def\omdoc{OMDoc}
-\def\latexml{LaTeXML}
-\defpath{backmods}{../background}
-% \baseURI[\backmods{}]{http://linkeddata.tntbase.org/stex}
-% \coolurion
diff --git a/macros/latex/contrib/stex/example/background/reals.pdf b/macros/latex/contrib/stex/example/background/reals.pdf
deleted file mode 100644
index 4201a59ce1..0000000000
--- a/macros/latex/contrib/stex/example/background/reals.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/background/reals.tex b/macros/latex/contrib/stex/example/background/reals.tex
deleted file mode 100644
index 9bcba08ab8..0000000000
--- a/macros/latex/contrib/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 {\defii{real}{numbers}} we all know and love with
- $\RealNumbers$.
-\end{definition}
-
-\begin{definition}[id=absval.def]
- The absolute value $\absval{r}$ of a real number $r$.
-\end{definition}
-\end{module}
-\end{omgroup}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: "all"
-%%% End:
diff --git a/macros/latex/contrib/stex/example/paper/Makefile b/macros/latex/contrib/stex/example/paper/Makefile
deleted file mode 100644
index de8ce0872d..0000000000
--- a/macros/latex/contrib/stex/example/paper/Makefile
+++ /dev/null
@@ -1,8 +0,0 @@
-STEXDIR = ../..
-TARGET = paper.tex
-MODSLIBDIR = ../background
-BIBINPUTS = $(PREFIX)/lib/bib:
-
-include $(STEXDIR)/lib/make/Makefile.vars
-all: pdf mpdf
-include $(STEXDIR)/lib/make/Makefile.in
diff --git a/macros/latex/contrib/stex/example/paper/continuous.pdf b/macros/latex/contrib/stex/example/paper/continuous.pdf
deleted file mode 100644
index 7d97a99a0b..0000000000
--- a/macros/latex/contrib/stex/example/paper/continuous.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/paper/continuous.tex b/macros/latex/contrib/stex/example/paper/continuous.tex
deleted file mode 100644
index dc90911f54..0000000000
--- a/macros/latex/contrib/stex/example/paper/continuous.tex
+++ /dev/null
@@ -1,20 +0,0 @@
-\begin{omgroup}[id=sec.contfuncs]{Continuous Functions}
-\begin{module}[id=continuous]
-\importmodule[load=\backmods{functions}]{functions}
-\importmodule[load=\backmods{reals}]{reals}
-\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}
-\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}
-\begin{definition}[for=continuousfunctions]
- A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defi{continuous}} at
- $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that
- $\absval{f(x)-f(y)}<\epsilon$ for all $\absval{x-y}<\delta$. It is called
- {\defii{continuous}{on}} a set $\sseteq{S}\RealNumbers$, iff is is continous at all
- $\inset{x}S$, the set of all such functions is denoted with $\continuousfunctions{S}T$,
- if $\sseteq{f(S)}T$.
-\end{definition}
-\end{module}
-\end{omgroup}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: "paper"
-%%% End:
diff --git a/macros/latex/contrib/stex/example/paper/differentiable.pdf b/macros/latex/contrib/stex/example/paper/differentiable.pdf
deleted file mode 100644
index 06c3f5b945..0000000000
--- a/macros/latex/contrib/stex/example/paper/differentiable.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/paper/differentiable.tex b/macros/latex/contrib/stex/example/paper/differentiable.tex
deleted file mode 100644
index da999f014d..0000000000
--- a/macros/latex/contrib/stex/example/paper/differentiable.tex
+++ /dev/null
@@ -1,16 +0,0 @@
-\begin{omgroup}[id=sec.differentiable]{Differentiable Functions}
-\begin{module}[id=differentiable]
-\importmodule[load=continuous]{continuous}
-\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}
-\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}
-\begin{definition}
- A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defi{differentiable}} at
- $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that
- $\rfrac{\absval{f(x)-f(y)}}{\absval{x-y}}<\epsilon$ for all $\absval{x-y}<\delta$.
-\end{definition}
-\end{module}
-\end{omgroup}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: "paper"
-%%% End:
diff --git a/macros/latex/contrib/stex/example/paper/intro.pdf b/macros/latex/contrib/stex/example/paper/intro.pdf
deleted file mode 100644
index d3a5eaba7c..0000000000
--- a/macros/latex/contrib/stex/example/paper/intro.pdf
+++ /dev/null
Binary files differ
diff --git a/macros/latex/contrib/stex/example/paper/intro.tex b/macros/latex/contrib/stex/example/paper/intro.tex
deleted file mode 100644
index 8faed56d13..0000000000
--- a/macros/latex/contrib/stex/example/paper/intro.tex
+++ /dev/null
@@ -1,96 +0,0 @@
-\begin{omgroup}[id=intro]{Introduction}
- We will show how to semantically mark up mathematics in the {\sTeX}
- format~\cite{Kohlhase:ulsmf08} and how to convert it into
- {\omdoc}~\cite{Kohlhase:OMDoc1.3}.
-
- We have some mathematical material in {\sref{sec.math}} which will serve as example
- content. In the rest of this section we will explain the setup of the example and
- present an approach to automation of the {\omdoc} conversion via Unix Makefiles.
- \begin{omgroup}{The Setup}
- \begin{module}[id=setup]
- \begin{definition}[display=flow]
- The source of this note is contained in the file {\texttt{paper.tex}}. We call it
- the {\defi{target}}, since formatting it with {\LaTeX} will generate the main
- document. The content in {\sref{sec.contfuncs}} and {\sref{sec.differentiable}}
- comes from included files {\texttt{continuous.tex}} and
- {\texttt{differentiable.tex}}, we will call them {\defi{module}s}, since they may
- be used (i.e. included) by other target documents as well.
- \end{definition}
-
- \begin{omtext}
- As the modules are built for inclusion into other documents, they are not
- self-contained:
- \begin{enumerate}
- \item they do not contain a {\LaTeX} preamble and
- \verb|\begin|/\verb|\end{document}|, and
- \item they may depend on other modules, whose semantic macros they need to include,
- \item to facilitate this a module file {\texttt{modf.tex}} comes with a ``semantic
- macro short form'' {\texttt{modf.sms}} that can be included without generating
- output in the PDF.
- \end{enumerate}
- \end{omtext}
-
- \begin{omtext}
- This will have consequences for the automation. Concretely, the module on
- differentiable functions in {\sref{sec.differentiable}} depends on that for continuous
- functions in {\sref{sec.contfuncs}}. Both of them depend on modules for real numbers,
- sets and functions that we do not want to cover in this note. \inlinedef{We assume
- that they have already been marked up with the same methods as we describe here and
- are accessible to us and call them {\defii{background}{module}s}}. In our setup we
- keep them in the subdirectory {\texttt{background}}.
- \end{omtext}
-\end{module}
-\end{omgroup}
-
-\begin{omgroup}{Formatting and {\omdoc} conversion}
- To format an {\sTeX} document --- i.e. to produce a PDF file from the {\sTeX} marked-up
- sources --- we only need to run the {\texttt{pdflatex}} program over the target document
- --- assuming that all modules (regular or background) have semantic macro short forms.
-
- To convert an {\sTeX} document to {\omdoc}, we need to run {\texttt{latexml}} over it,
- post-process the result by {\texttt{latexmlpost}}, and finally massage away all remaining
- {\latexml} islands with a stylesheet, see ~\cite{Kohlhase:ssmtl*} for details.
-\end{omgroup}
-
-\begin{omgroup}{Makefile-based Automation}
- As the conversion to {\omdoc} is rather complex (the programs in the three steps take a
- variety of options), we support an automation by Unix Makefiles. There are three main
- {\texttt{make}} targets.
-
- \begin{description}
- \item[{\texttt{make omdoc}}] will trigger the {\omdoc} transformation of the target
- document.
- \item[{\texttt{make mods}}] will trigger the {\omdoc} transformation of the modules.
- \item[{\texttt{make pdf}}] will trigger the {\LaTeX} formatting the target
- \item[{\texttt{make mpdf}}] will trigger the {\LaTeX} formatting the modules
- \item[{\texttt{make sms}}] will trigger the re-generation of all semantic macro short
- forms of modules (this is implicitly called in all the other {\texttt{make}} targets)
- \end{description}
- To use this, we need to set up a {\texttt{{Makefile}}} of the following form:
-
-\lstset{columns=flexible,frame=lines,numbers=left,stepnumber=2,numberstyle=\tiny,basicstyle=\small}
-\lstinputlisting[language=make]{Makefile}
-
- The variable {\lstinline{STEXDIR}} has to be set to the main directory of the {\sTeX}
- distribution. The variable {\lstinline{TARGET}} specifies the target document (all other
- {\texttt{*.tex}} files that are not excluded in the {\lstinline{BUTFILES}} variables are
- considered as modules). Here, the {\texttt{background}} directory for convenience. The
- {\lstinline{MODSLIBDIR}} specifies the location of the prefix and postfix files
- {\texttt{pre.tex}} and {\texttt{post.tex}} that will be prepended and appended to the
- modules to make them into complete files {\TeX} files that can be converted. The last
- three lines just include the Makefiles from the {\sTeX} distribution and configure the
- default make target (\texttt{make all}) to be produce the pdf version
-
- Note that in the directory {\texttt{background}} we have a very similar Makefile as
- above. The only differences are that the variable {\lstinline{STEXDIR}} is adapted and
- that the {\lstinline{BUTFILE}} variable is set to {\texttt{pre.tex}} and
- {\texttt{post.tex}}, so that they are not converted. In the directory
- {\texttt{background}} we have followed good practice by establishing a phony
-\end{omgroup}
-
-\end{omgroup}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "paper"
-%%% End:
diff --git a/macros/latex/contrib/stex/example/paper/paper.tex b/macros/latex/contrib/stex/example/paper/paper.tex
deleted file mode 100644
index 61d4aa7f17..0000000000
--- a/macros/latex/contrib/stex/example/paper/paper.tex
+++ /dev/null
@@ -1,148 +0,0 @@
-\documentclass{omdoc}
-\usepackage{amssymb}
-\usepackage{alltt}
-\usepackage{hyperref}
-\usepackage{listings}
-\def\omdoc{OMDoc}
-\def\latexml{LaTeXML}
-\defpath{backmods}{../background}
-%% defining the author metadata
-\WAperson[id=miko,
- affiliation=JUB,
- url=http://kwarc.info/kohlhase]
- {Michael Kohlhase}
-\WAinstitution[id=JUB,
- url=http://jacobs-university.de,
- streetaddress={Campus Ring 1},
- townzip={28759 Bremen},
- countryshort=D,
- country=Germany,
- type=University,
- acronym=JACU,
- shortname=Jacobs Univ.]
- {Jacobs University Bremen}
-
-\begin{document}
-
-% metadata and title page
-% \begin{DCmetadata}[maketitle]
-% \DCMcreators{miko}
-% \DCMrights{Copyright (c) 2009 Michael Kohlhase}
-% \DCMtitle{An example of semantic Markup in {\sTeX}}
-% \DCMabstract{In this note we give an example of semantic markup in {\sTeX}:
-% Continuous and differentiable functions are introduced using real numbers, sets and
-% functions as an assumed background.}
-% \end{DCmetadata}
-
-\inputref{intro}
-
-\begin{omgroup}[id=sec.math]{Mathematical Content}
- \begin{omgroup}{Calculus}
- We present some standard mathematical definitions, here from calculus.
- \inputref{continuous}
- \inputref{differentiable}
-\end{omgroup}
-
-\begin{omgroup}[id=sec.math]{A Theory Graph for Elementary Algebra}
- Here we show an example for more advanced theory graph manipulations, in particular
- imports via morphisms.
-
-\begin{module}[id=magma]
- \importmodule[load=\backmods{functions}]{functions}
- \symdef{magbase}{G}
- \symdef[name=magmaop]{magmaopOp}{\circ}
- \symdef{magmaop}[2]{\infix\magmaopOp{#1}{#2}}
- \begin{definition}[id=magma.def]
- A \defi{magma} is a structure $\tup{\magbase,\magmaopOp}$, such that $\magbase$ is
- closed under the operation $\fun\magmaopOp{\cart{\magbase,\magbase}}\magbase$.
- \end{definition}
-\end{module}
-
-\begin{module}[id=semigroup]
- \importmodule{magma}
- \begin{definition}[id=semigroup.def]
- A \trefi[magma]{magma} $\tup{\magbase,\magmaopOp}$, is called a \defi{semigroup}, iff
- $\magmaopOp$ is associative.
- \end{definition}
-\end{module}
-
-\begin{module}[id=monoid]
- \importmodule{semigroup}
- \symdef{monneut}{e}
- \symdef{noneut}[1]{#1^*}
- \begin{definition}[id=monoid.def]
- A \defi{monoid} is a structure $\tup{\magbase,\magmaopOp,\monneut}$, such that
- $\tup{\magbase,\magmaopOp}$ is a \trefi[semigroup]{semigroup} and $\monneut$ is a
- \defii{neutral}{element}, i.e. that $\magmaop{x}\monneut=x$ for all $\inset{x}\magbase$.
- \end{definition}
-
- \begin{definition}[id=noneut.def]
- In a monoid $\tup{\magbase,\magmaopOp,\monneut}$, we use denote the set
- $\setst{\inset{x}S}{x\ne\monneut}$ with $\noneut{S}$.
- \end{definition}
-\end{module}
-
-\begin{module}[id=group]
- \importmodule{monoid}
- \symdef{ginvOp}{i}
- \symdef{ginv}[1]{\prefix\ginvOp{#1}}
- \begin{definition}[id=group.def]
- A \defi{group} is a structure $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$, such that
- $\tup{\magbase,\magmaopOp,\monneut}$ is a \trefi[monoid]{monoid} and $\ginvOp$ acts as
- a \defi{inverse}, i.e. that $\magmaop{x}{\ginv{x}}=\monneut$ for all
- $\inset{x}\magbase$.
- \end{definition}
-\end{module}
-
-\begin{module}[id=cgroup]
-\importmodule{group}
-\begin{definition}[id=cgroup.def]
- We call a \trefi[group]{group} $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$ a
- \defii{commutative}{group}, iff $\magmaopOp$ is commutative.
-\end{definition}
-\end{module}
-
-\begin{module}[id=ring]
-\symdef{rbase}{R}
-\symdef[name=rtimes]{rtimesOp}{\cdot}
-\symdef{rtimes}[2]{\infix\rtimesOp{#1}{#2}}
-\symdef{rone}{1}
-\begin{importmodulevia}{monoid}
- \vassign{rbase}\magbase
- \vassign{rtimesOp}\magmaopOp
- \vassign{rone}\monneut
-\end{importmodulevia}
-\symdef[name=rplus]{rplusOp}{+}
-\symdef{rplus}[2]{\infix\rplusOp{#1}{#2}}
-\symdef{rzero}{0}
-\symdef[name=rminus]{rminusOp}{-}
-\symdef{rminus}[1]{\prefix\rminusOp{#1}}
-\begin{importmodulevia}{cgroup}
- \vassign{rplus}\magmaopOp
- \vassign{rzero}\monneut
- \vassign{rminusOp}\ginvOp
-\end{importmodulevia}
-\begin{definition}
- A \defi{ring} is a structure $\tup{\rbase,\rplusOp,\rzero,\rtimesOp,\rone,\rminusOp}$,
- such that $\tup{\noneut\rbase,\rtimesOp,\rone}$ is a monoid and
- $\tup{\rbase,\rplusOp,\rzero,\rminusOp}$ is a commutative group.
-\end{definition}
-\end{module}
-\end{omgroup}
-\end{omgroup}
-
-\begin{omgroup}[id=concl]{Conclusion}
- In this note we have given an example of standard mathematical markup and shown how a a
- {\sTeX} collection can be set up for automation.
-\end{omgroup}
-\bibliographystyle{alpha}
-\bibliography{kwarc}
-\end{document}
-
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: t
-%%% End:
-
-% LocalWords: miko Makefiles tex contfuncs modf sms pdflatex latexml Makefile
-% LocalWords: latexmlpost omdoc STEXDIR BUTFILES DIRS