diff --git a/omdoc-semantics/tikz/omdoc/adopt-elalg.tex b/omdoc-semantics/adopt-elalg.tex
similarity index 100%
rename from omdoc-semantics/tikz/omdoc/adopt-elalg.tex
rename to omdoc-semantics/adopt-elalg.tex
diff --git a/omdoc-semantics/conc.tex b/omdoc-semantics/conc.tex
index 32f484cc9a48ab95af7d5a4eca8986d224b63e60..7d85982ee915d85ec44e1383e5575c0ecd23641f 100644
--- a/omdoc-semantics/conc.tex
+++ b/omdoc-semantics/conc.tex
@@ -1,6 +1,3 @@
-\svnInfo $Id: conc.tex 196 2014-07-31 13:28:23Z miancu $
-\svnKeyword $HeadURL: https://svn.kwarc.info/repos/miancu/omdoc-semantics/conc.tex $
-
In this article we have identified requirements for target representation formats for
semantics extraction from mathematical languages: We carefully identified a set of
challenging linguistic/semantic phenomena and discuss how they can be modeled in the
diff --git a/omdoc-semantics/tikz/omdoc/omdoc-levels.tex b/omdoc-semantics/omdoc-levels.tex
similarity index 100%
rename from omdoc-semantics/tikz/omdoc/omdoc-levels.tex
rename to omdoc-semantics/omdoc-levels.tex
diff --git a/omdoc-semantics/omdoc.tex b/omdoc-semantics/omdoc.tex
index 6fcb7ce20ce86d984071007541463251bcfdbf41..2b66418afeda7e9cc30478c4fa71ee10a2b76bd8 100644
--- a/omdoc-semantics/omdoc.tex
+++ b/omdoc-semantics/omdoc.tex
@@ -1,6 +1,3 @@
-\svnInfo $Id: omdoc.tex 197 2014-09-16 21:00:52Z miancu $
-\svnKeyword $HeadURL: https://svn.kwarc.info/repos/miancu/omdoc-semantics/omdoc.tex $
-
\omdoc is a representation format for STEM (Science, Technology, Engineering, and
Mathematics) knowledge developed by the authors. A major difficulty in representing STEM
documents in general (and mathematical documents in particular) is the tension between the
@@ -10,7 +7,7 @@ representations of flexible formality; covering the whole spectrum from informal
rigorous to fully formal in a logical system; see~\cite{Kohlhase:tffm13} for details.
\begin{wrapfigure}r{3cm}\vspace*{-1em}
-\tikzinput{tikz/omdoc/omdoc-levels}\vspace*{-1em}
+\tikzinput{omdoc-levels}\vspace*{-1em}
\caption{\omdoc Document Model}\label{fig:levels}\vspace*{-.5em}
\end{wrapfigure}
@@ -153,7 +150,7 @@ annotate the presentation tree of $f(a+b)$ with two content trees to arrive at t
situation depicted in Figure~\ref{fig:ptree-parallel}.
\begin{wrapfigure}r{9.8cm}\vspace*{-1em}
-\tikzinput{tikz/mathml/ptree-parallel}\vspace*{-.5em}
+\tikzinput{ptree-parallel}\vspace*{-.5em}
\caption{A presentation tree (center) with content annotations}\label{fig:ptree-parallel}\vspace*{-.5em}
\end{wrapfigure}
This shows that \mathml is well-suited for representing ambiguity in formulae
@@ -691,7 +688,7 @@ which \textsf{NVS} does thanks to the view $\mathsf{v_3}$.
\subsubsection{Modeling Recaps}\label{sec:recaps}
\begin{wrapfigure}r{5.5cm}\vspace*{-1em}
- \tikzinput{tikz/omdoc/adopt-elalg}
+ \tikzinput{adopt-elalg}
\caption{Recap by Adopting a Background Theory Graph}\label{fig:recap-adopt}
\end{wrapfigure}
Following the theory graph approach outlined above, we structure the main part of a
diff --git a/omdoc-semantics/paper.pdf b/omdoc-semantics/paper.pdf
index 1d10446bb59280714eaef75526aeaddd667a007a..3f64e43e1ec1e35e0ed25eadef704e13a0e401a9 100644
Binary files a/omdoc-semantics/paper.pdf and b/omdoc-semantics/paper.pdf differ
diff --git a/omdoc-semantics/paper.tex b/omdoc-semantics/paper.tex
index e182e58323349b14bded53f468ad0fee88823e44..bdf311a2013b24806f473b690e888b6e92bbcc30 100644
--- a/omdoc-semantics/paper.tex
+++ b/omdoc-semantics/paper.tex
@@ -69,7 +69,7 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% local macros and configurations
\usepackage[hide]{ed}
-\usepackage{macros/basics}
+\usepackage{basics}
\usepackage{local}
@@ -125,7 +125,7 @@
\bibliographystyle{alpha}
%\bibliography{macros/bib/rabe,macros/bib/systems,macros/bib/pub_rabe,macros/bib/historical,kbib/kwarc,local}
%\bibliography{preamble,kwarcpubs,extpubs,kwarccrossrefs,extcrossrefs,local}
-\bibliography{kwarc,local}
+\bibliography{kwarc}
%\bibliography{kbib/preamble,kbib/kwarcpubs,kbib/extpubs,kbib/kwarccrossrefs,kbib/extcrossrefs,local}
\end{document}
diff --git a/omdoc-semantics/tikz/mathml/ptree-parallel.tex b/omdoc-semantics/ptree-parallel.tex
similarity index 100%
rename from omdoc-semantics/tikz/mathml/ptree-parallel.tex
rename to omdoc-semantics/ptree-parallel.tex
diff --git a/omdoc-semantics/relwork.tex b/omdoc-semantics/relwork.tex
index c4d983cd82ff2f09ea1d1b0d74482500ebc42011..a9cee030192dc9958da399bef767ac03e0235eb6 100644
--- a/omdoc-semantics/relwork.tex
+++ b/omdoc-semantics/relwork.tex
@@ -1,6 +1,3 @@
-\svnInfo $Id: relwork.tex 197 2014-09-16 21:00:52Z miancu $
-\svnKeyword $HeadURL: https://svn.kwarc.info/repos/miancu/omdoc-semantics/relwork.tex $
-
We have seen that \omdoc can adequately represent many of the phenomena presented in
Section~\ref{sec:pheno}, let us compare it with others in the space of representation
formats for mathematical knowledge; Figure~\ref{fig:relwork-overview} gives an overview.
diff --git a/omdoc-semantics/tikz/externals.txt b/omdoc-semantics/tikz/externals.txt
deleted file mode 100644
index 31a6f6f15678c8b0bb00910ae6a8da0b7fac351c..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/externals.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-omdoc https://tnt.kwarc.info/repos/stc/slides/omdoc/tikz
-mathml https://tnt.kwarc.info/repos/stc/slides/mathml/tikz
-planetary https://tnt.kwarc.info/repos/stc/slides/planetary/tikz
diff --git a/omdoc-semantics/tikz/mathml/Makefile b/omdoc-semantics/tikz/mathml/Makefile
deleted file mode 100644
index f17302d922b27e5a6136f41c24dde9b2a76f8eec..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/Makefile
+++ /dev/null
@@ -1,3 +0,0 @@
-STCDIR ?= ../../..
-BUTFILES = template.tex
-include $(STCDIR)/lib/make/Makefile.tikz
diff --git a/omdoc-semantics/tikz/mathml/all.pdf b/omdoc-semantics/tikz/mathml/all.pdf
deleted file mode 100644
index 17a24f8930eb0509909551edb43e9b7c80006e73..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/all.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/all.tex b/omdoc-semantics/tikz/mathml/all.tex
deleted file mode 100644
index c0d3cef4ff68863bdbd996fb08a40af39146f7e4..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/all.tex
+++ /dev/null
@@ -1,41 +0,0 @@
-\documentclass[notes]{mikoslides}
-\usepackage{amsmath,amssymb,eurosym,wasysym,multirow,paralist}
-\usepackage{lststex,lstomdoc}
-\usepackage{stc-smglom}
-\usepackage{ded,calbf,url,rotating}
-\usepackage{wrapfig,colortbl,wasysym}
-\usepackage[show]{ed}
-\usetikzlibrary{shapes}
-\usetikzlibrary{shadows}
-\usetikzlibrary{patterns}
-\usetikzlibrary{arrows}
-\usetikzlibrary{backgrounds}
-\usetikzlibrary{mmt}
-\usetikzlibrary{tikzmark}
-\usetikzlibrary{decorations,decorations.markings,decorations.text}
-\input{../../../lib/paths}
-\input{\MathHub{lib/etc/WApersons}}
-\coolurion
-\usepackage[bookmarks,linkcolor=black,citecolor=black,urlcolor=black,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}
-\begin{document}
-\begin{center}\LARGE File: \url{ctree-parallel.tex}\end{center}
-\input{ctree-parallel}\newpage
-\begin{center}\LARGE File: \url{functional-markup.tex}\end{center}
-\input{functional-markup}\newpage
-\begin{center}\LARGE File: \url{layout-schemata.tex}\end{center}
-\input{layout-schemata}\newpage
-\begin{center}\LARGE File: \url{parallel-xml.tex}\end{center}
-\input{parallel-xml}\newpage
-\begin{center}\LARGE File: \url{parallel.tex}\end{center}
-\input{parallel}\newpage
-\begin{center}\LARGE File: \url{ptree-parallel.tex}\end{center}
-\input{ptree-parallel}\newpage
-\bibliographystyle{alpha}
-\bibliography{kwarc}
-\printindex
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
-\end{document}
diff --git a/omdoc-semantics/tikz/mathml/ctree-parallel.png b/omdoc-semantics/tikz/mathml/ctree-parallel.png
deleted file mode 100644
index eb9892b54966fbaba2b87add707eea70829b1e44..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/ctree-parallel.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/ctree-parallel.tex b/omdoc-semantics/tikz/mathml/ctree-parallel.tex
deleted file mode 100644
index 876ff281ead234814cfc743856563ad170478f7b..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/ctree-parallel.tex
+++ /dev/null
@@ -1,77 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz}
-% put any importmodules into the preamble
-\begin{document}
-\begin{tikzpicture}
-% product
-\node (c1f) at (4,1) {$f$};
-\node (c1a1) at (5,2) {$*$};
-\node (c1a2) at (6,1) {$@$};
-\node (c1p) at (5,0) {$+$};
-\node (c1a) at (6,0) {$a$};
-\node (c1b) at (7,0) {$b$};
-\draw (c1a1) -- (c1f);
-\draw (c1a1) -- (c1a2);
-\draw (c1a2) -- (c1p);
-\draw (c1a2) -- (c1a);
-\draw (c1a2) -- (c1b);
-% presentation tree
-\node (p1f) at (0,1) {$f$};
-\node (p1a1) at (1,2) {row};
-\node (p1a2o) at (1.3,1) {$($};
-\node (p1a2) at (2,1) {row};
-\node (p1a2c) at (2.7,1) {$)$};
-\node (p1o) at (.7,0) {$($};
-\node (p1a) at (1.3,0) {$a$};
-\node (p1p) at (2,0) {$+$};
-\node (p1b) at (2.7,0) {$b$};
-\node (p1c) at (3.4,0) {$)$};
-\draw (p1a1) -- (p1f);
-\draw (p1a1) -- (p1a2o);
-\draw (p1a1) -- (p1a2);
-\draw (p1a1) -- (p1a2c);
-\draw (p1a2) -- (p1p);
-\draw (p1a2) -- (p1a);
-\draw (p1a2) -- (p1b);
-\draw (p1a2) -- (p1o);
-\draw (p1a2) -- (p1c);
-\draw[<-,green,dashed] (c1f) to[out=195,in=-15] (p1f);
-\draw[<-,green,dashed] (c1a1) to[out=195,in=-15] (p1a1);
-\draw[<-,green,dashed] (c1a2) to[out=195,in=-15] (p1a2);
-\draw[<-,green,dashed] (c1p) to[out=195,in=-15] (p1p);
-\draw[<-,green,dashed] (c1a) to[out=195,in=-15] (p1a);
-\draw[<-,green,dashed] (c1b) to[out=195,in=-15] (p1b);
-% presentation tree2
-\node (p2f) at (8,1) {$f$};
-\node (p2t) at (8.65,1) {$\cdot$};
-\node (p2a1) at (9,2) {row};
-\node (p2a2o) at (9.3,1) {$($};
-\node (p2a2) at (10,1) {row};
-\node (p2a2c) at (10.7,1) {$)$};
-\node (p2o) at (8.7,0) {$($};
-\node (p2a) at (9.3,0) {$a$};
-\node (p2p) at (10,0) {$+$};
-\node (p2b) at (10.7,0) {$b$};
-\node (p2c) at (11.4,0) {$)$};
-\draw (p2a1) -- (p2f);
-\draw (p2a1) -- (p2t);
-\draw (p2a1) -- (p2a2o);
-\draw (p2a1) -- (p2a2);
-\draw (p2a1) -- (p2a2c);
-\draw (p2a2) -- (p2p);
-\draw (p2a2) -- (p2a);
-\draw (p2a2) -- (p2b);
-\draw (p2a2) -- (p2o);
-\draw (p2a2) -- (p2c);
-\draw[<-,green,dashed] (c1f) to[out=15,in=165] (p2f);
-\draw[<-,green,dashed] (c1a1) to[out=15,in=165] (p2a1);
-\draw[<-,green,dashed] (c1a2) to[out=15,in=165] (p2a2);
-\draw[<-,green,dashed] (c1p) to[out=15,in=165] (p2p);
-\draw[<-,green,dashed] (c1a) to[out=15,in=165] (p2a);
-\draw[<-,green,dashed] (c1b) to[out=15,in=165] (p2b);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/mathml/functional-markup.png b/omdoc-semantics/tikz/mathml/functional-markup.png
deleted file mode 100644
index b0e173d8f16fe491886ebbdb071e65d0770d3222..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/functional-markup.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/functional-markup.tex b/omdoc-semantics/tikz/mathml/functional-markup.tex
deleted file mode 100644
index 0381c5823a1a5f2719db146df2516d2397c7a3fe..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/functional-markup.tex
+++ /dev/null
@@ -1,41 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,lstomdoc}
-\usepackage{tikz,amstext}
-\input{../../../lib/paths}
-% put any importmodules into the preamble
-\begin{document}
-\lstset{language=MathML}
- \begin{tikzpicture}
- \node (app1) at (2,4) {@};
- \node (3) at (2,2.5){3};
- \node (app2) at (3,2.5) {@};
- \node (div) at (1,2.5){/};
- \node (+) at (2,1.5) {+};
- \node (x) at (3,1.5) {x};
- \node (2) at (4,1.5) {2};
- \draw (app1) -- (div);
- \draw (app1) -- (3);
- \draw (app1) -- (app2);
- \draw (app2) -- (x);
- \draw (app2) -- (+);
- \draw (app2) -- (2);
-
- \node (capp1) at (7.5,4) {\lstinline!<apply>...</apply>!};
- \node (cdiv) at (5.5,3) {\lstinline!<div/>!};
- \node (c3) at (7.5,3) {\lstinline!<cn>3</cn>!};
- \node (capp2) at (9,2.5) {\lstinline!<apply>...</apply>!};
- \node (c+) at (6.5,1.5) {\lstinline!<plus/>!};
- \node (cx) at (9,1.5) {\lstinline!<ci>x</ci>!};
- \node (c2) at (11.5,1.5) {\lstinline!<mn>2</mn>!};
- \draw (capp1) -- (c3);
- \draw (capp1) -- (cdiv);
- \draw (capp1) -- (capp2);
- \draw (capp2) -- (cx);
- \draw (capp2) -- (c+);
- \draw (capp2) -- (c2);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/mathml/layout-schemata.png b/omdoc-semantics/tikz/mathml/layout-schemata.png
deleted file mode 100644
index 857607ec0a223e1285b6023e5d077239656d79ad..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/layout-schemata.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/layout-schemata.tex b/omdoc-semantics/tikz/mathml/layout-schemata.tex
deleted file mode 100644
index 1041bd77a1368611069687ae944963b0b8b2253b..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/layout-schemata.tex
+++ /dev/null
@@ -1,37 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,lstomdoc}
-\usepackage{tikz,amstext}
-\input{../../../lib/paths}
-% put any importmodules into the preamble
-\begin{document}
- \begin{tikzpicture}
- \tikzstyle{layout} = [draw,line width=1.5pt,color=blue];
- \node[layout] (frac) at (2.5,4) {$\fbox{3}\over\hbox{\fbox{(x+2)}}$};
- \node[layout] (3) at (1,2.5){3};
- \node[layout] (fence) at (3,2.5) {\fbox{(}\kern1pt\fbox{x+2}\kern1pt\fbox{)}};
- \node[layout] (x) at (2,1.5) {x};
- \node[layout] (+) at (3,1.5) {+};
- \node[layout] (2) at (4,1.5) {2};
- \draw (frac) -- (3);
- \draw (frac) -- (fence);
- \draw (fence) -- (x);
- \draw (fence) -- (+);
- \draw (fence) -- (2);
-
- \node (mfrac) at (7.5,4) {\lstinline!<mfrac>...</mfrac>!};
- \node (m3) at (6.5,3) {\lstinline!<mn>3</mn>!};
- \node (mfence) at (9,2.5) {\lstinline!<mfenced>...</mfenced>!};
- \node (mx) at (6.5,1.5) {\lstinline!<mi>x</mi>!};
- \node (m+) at (9,1.5) {\lstinline!<mo>+</mo>!};
- \node (m2) at (11.5,1.5) {\lstinline!<mn>2</mn>!};
- \draw (mfrac) -- (m3);
- \draw (mfrac) -- (mfence);
- \draw (mfence) -- (mx);
- \draw (mfence) -- (m+);
- \draw (mfence) -- (m2);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/mathml/parallel-xml.png b/omdoc-semantics/tikz/mathml/parallel-xml.png
deleted file mode 100644
index b97aec4de77d18e18864a08ca35de75536659a99..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/parallel-xml.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/parallel-xml.tex b/omdoc-semantics/tikz/mathml/parallel-xml.tex
deleted file mode 100644
index 094279d07b267ac6948ae6831b26b78b11512236..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/parallel-xml.tex
+++ /dev/null
@@ -1,51 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,lstomdoc}
-\usepackage{tikz,amstext}
-\input{../../../lib/paths}
-% put any importmodules into the preamble
-\begin{document}
-\def\layoutbox{\node[draw,line width=2pt,color=blue]}
- \begin{tikzpicture}[scale=.7]\footnotesize
- \node (semantics) at (6,6) {\lstinline!<semantics>...</semantics>!};
- \node (ann) at (8,5) {\lstinline!<annotation-xml>...</annotation-xml>!};
- \node (mfrac) at (1.5,4) {\blue{\lstinline!<mfrac id="M">...</mfrac>!}};
- \node (m3) at (0.5,3) {\lstinline!<mn id="3">3</mn>!};
- \node (mfence) at (3,2) {\lstinline!<mfenced id="f">...</mfenced>!};
- \node (mx) at (0.5,0) {\lstinline!<mi id="x">x</mi>!};
- \node (m+) at (3,1) {\lstinline!<mo id="p">+</mo>!};
- \node (m2) at (5.5,-1) {\lstinline!<mn id="2">2</mn>!};
- \node (apply) at (9.5,4) {\lstinline!<apply href="M">...</apply>!};
- \node (divides) at (7.5,3) {\lstinline!<divide/>!};
- \node (c3) at (11.5,3) {\lstinline!<ci href="3">3<ci/>!};
- \node (apply2) at (9.5,2) {\lstinline!<apply href="f">...</apply>!};
- \node (plus) at (7.5,1) {\lstinline!<plus href="p"/>!};
- \node (cx) at (9.5,0) {\lstinline!<ci href="x">x</ci>!};
- \node (c2) at (11.5,-1) {\lstinline!<cn href="2">2</cn>!};
-
- \draw (semantics) -- (ann);
- \draw (semantics) -- (mfrac);
- \draw (mfrac) -- (m3);
- \draw (mfrac) -- (mfence);
- \draw (mfence) -- (mx);
- \draw (mfence) -- (m+);
- \draw (mfence) -- (m2);
- \draw (ann) -- (apply);
- \draw (apply) -- (divides);
- \draw (apply) -- (apply2);
- \draw (apply) -- (c3);
- \draw (apply2) -- (plus);
- \draw (apply2) -- (cx);
- \draw (apply2) -- (c2);
-
- \draw[->,dashed,color=green,line width=.5pt] (1.4,4.2) .. controls +(up:.5cm) and +(up:.5cm) .. (9.5,4.1);
- \draw[->,dashed,color=green,line width=.5pt] (.7,3.2) .. controls +(up:.5cm) and +(up:.5cm) .. (11,3.2);
- \draw[->,dashed,color=green,line width=.5pt] (3,2.2) .. controls +(up:.5cm) and +(up:.5cm) .. (9.3,2.2);
- \draw[->,dashed,color=green,line width=.5pt] (3.2,1.2) .. controls +(up:.5cm) and +(up:.5cm) .. (8.3,1.2);
- \draw[->,dashed,color=green,line width=.5pt] (.7,.2) .. controls +(up:.5cm) and +(up:.5cm) .. (9.6,.2);
- \draw[->,dashed,color=green,line width=.5pt] (5.3,-.8) .. controls +(up:.5cm) and +(up:.5cm) .. (11.4,-.8);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/mathml/parallel.png b/omdoc-semantics/tikz/mathml/parallel.png
deleted file mode 100644
index eb719c92c8032c2774a0bee62d7e42f48a017ed3..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/parallel.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/mathml/parallel.tex b/omdoc-semantics/tikz/mathml/parallel.tex
deleted file mode 100644
index 43393ba9d1f9fa6cd2424736fa130cdb0d2e16e9..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/mathml/parallel.tex
+++ /dev/null
@@ -1,44 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz}
-% put any importmodules into the preamble
-\begin{document}
- \begin{tikzpicture}
- \tikzstyle{layout} = [draw,line width=1.5pt,color=blue];
- \node[layout] (frac) at (2.5,4) {$\fbox{3}\over\hbox{\fbox{(x+2)}}$};
- \node[layout] (3) at (1,2.5){3};
- \node[layout] (fence) at (3,2.5) {\fbox{(}\kern1pt\fbox{x+2}\kern1pt\fbox{)}};
- \node[layout] (x) at (2,1.5) {x};
- \node[layout] (+) at (3,1.5) {+};
- \node[layout] (2) at (4,1.5) {2};
- \draw (frac) -- (3);
- \draw (frac) -- (fence);
- \draw (fence) -- (x);
- \draw (fence) -- (+);
- \draw (fence) -- (2);
-
- \node (app1) at (6,4) {@};
- \node (f3) at (6,2.5){3};
- \node (app2) at (7,2.5) {@};
- \node (div) at (5,2.5){/};
- \node (f+) at (6,1.5) {+};
- \node (fx) at (7,1.5) {x};
- \node (f2) at (8,1.5) {2};
- \draw (app1) -- (div);
- \draw (app1) -- (f3);
- \draw (app1) -- (app2);
- \draw (app2) -- (fx);
- \draw (app2) -- (f+);
- \draw (app2) -- (f2);
-
- \draw[dashed,green] (frac) -- (app1);
- \draw[dashed,green] (3) to[out=-23,in=203] (f3);
- \draw[dashed,green] (fence) to[out=10,in=160] (app2);
- \draw[dashed,green] (+) to[out=-20,in=200] (f+);
- \draw[dashed,green] (x) to[out=-20,in=200] (fx);
- \draw[dashed,green] (2) to[out=-20,in=200] (f2);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/mathml/ptree-parallel.png b/omdoc-semantics/tikz/mathml/ptree-parallel.png
deleted file mode 100644
index 8345057192c68d79d427704bfa6566ad920765e9..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/mathml/ptree-parallel.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/Makefile b/omdoc-semantics/tikz/omdoc/Makefile
deleted file mode 100644
index a8e10aa6991261a8d85be5b9c0056be249642f96..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/Makefile
+++ /dev/null
@@ -1,3 +0,0 @@
-STCDIR ?= ../../..
-BUTFILES = test.tex foo.tex
-include $(STCDIR)/lib/make/Makefile.tikz
diff --git a/omdoc-semantics/tikz/omdoc/adopt-elalg.png b/omdoc-semantics/tikz/omdoc/adopt-elalg.png
deleted file mode 100644
index eb017f6ae5da797ebfa3b09b6f920a76df0c5c28..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/adopt-elalg.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/all.pdf b/omdoc-semantics/tikz/omdoc/all.pdf
deleted file mode 100644
index 6770e6c17573251f98dfb840f0f78234010f18eb..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/all.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/all.tex b/omdoc-semantics/tikz/omdoc/all.tex
deleted file mode 100644
index fda67ac31ff20230518c498c2d3c40e4b92d5030..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/all.tex
+++ /dev/null
@@ -1,61 +0,0 @@
-\documentclass[notes]{mikoslides}
-\usepackage{amsmath,amssymb,eurosym,wasysym,multirow,paralist}
-\usepackage{lststex,lstomdoc}
-\usepackage{stc-smglom}
-\usepackage{ded,calbf,url,rotating}
-\usepackage{wrapfig,colortbl,wasysym}
-\usepackage[show]{ed}
-\usetikzlibrary{shapes}
-\usetikzlibrary{shadows}
-\usetikzlibrary{patterns}
-\usetikzlibrary{arrows}
-\usetikzlibrary{backgrounds}
-\usetikzlibrary{mmt}
-\usetikzlibrary{tikzmark}
-\usetikzlibrary{decorations,decorations.markings,decorations.text}
-\input{../../../lib/paths}
-\input{\MathHub{lib/etc/WApersons}}
-\coolurion
-\usepackage[bookmarks,linkcolor=black,citecolor=black,urlcolor=black,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}
-\begin{document}
-\begin{center}\LARGE File: \url{elalg-shared.tex}\end{center}
-\input{elalg-shared}\newpage
-\begin{center}\LARGE File: \url{elalg-unshared.tex}\end{center}
-\input{elalg-unshared}\newpage
-\begin{center}\LARGE File: \url{framing-ex.tex}\end{center}
-\input{framing-ex}\newpage
-\begin{center}\LARGE File: \url{framing.tex}\end{center}
-\input{framing}\newpage
-\begin{center}\LARGE File: \url{group-nat-example.tex}\end{center}
-\input{group-nat-example}\newpage
-\begin{center}\LARGE File: \url{logic-morphism.tex}\end{center}
-\input{logic-morphism}\newpage
-\begin{center}\LARGE File: \url{nat-ex-cex.tex}\end{center}
-\input{nat-ex-cex}\newpage
-\begin{center}\LARGE File: \url{notation-definition.tex}\end{center}
-\input{notation-definition}\newpage
-\begin{center}\LARGE File: \url{omdoc-levels.tex}\end{center}
-\input{omdoc-levels}\newpage
-\begin{center}\LARGE File: \url{omdoc-rdf.tex}\end{center}
-\input{omdoc-rdf}\newpage
-\begin{center}\LARGE File: \url{ontology-core.tex}\end{center}
-\input{ontology-core}\newpage
-\begin{center}\LARGE File: \url{semweb-challenge.tex}\end{center}
-\input{semweb-challenge}\newpage
-\begin{center}\LARGE File: \url{strawman.tex}\end{center}
-\input{strawman}\newpage
-\begin{center}\LARGE File: \url{theory-inclusion.tex}\end{center}
-\input{theory-inclusion}\newpage
-\begin{center}\LARGE File: \url{theory-of-theories.tex}\end{center}
-\input{theory-of-theories}\newpage
-\begin{center}\LARGE File: \url{tree-height.tex}\end{center}
-\input{tree-height}\newpage
-\bibliographystyle{alpha}
-\bibliography{kwarc}
-\printindex
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
-\end{document}
diff --git a/omdoc-semantics/tikz/omdoc/elalg-nat-graph-crop.pdf b/omdoc-semantics/tikz/omdoc/elalg-nat-graph-crop.pdf
deleted file mode 100644
index 0f2eba3373d59b3cbb645fd504871326dd3ed698..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-nat-graph-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-nat-graph.pdf b/omdoc-semantics/tikz/omdoc/elalg-nat-graph.pdf
deleted file mode 100644
index 9e1321ab05e0a1aed61b659e0bd323c8bc365528..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-nat-graph.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-shared-crop.pdf b/omdoc-semantics/tikz/omdoc/elalg-shared-crop.pdf
deleted file mode 100644
index 58d52f2916a879bdf6a5e1df504d482cd7c2f0b1..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-shared-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-shared.pdf b/omdoc-semantics/tikz/omdoc/elalg-shared.pdf
deleted file mode 100644
index 56f7ef474f6e521068a96ad76a186a75601422f7..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-shared.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-shared.png b/omdoc-semantics/tikz/omdoc/elalg-shared.png
deleted file mode 100644
index f27cfdd9e433810638660a629a58d30cf96f04c9..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-shared.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-shared.tex b/omdoc-semantics/tikz/omdoc/elalg-shared.tex
deleted file mode 100644
index a674f574570206d32d8cf4a5e4bac15b70e156f0..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/elalg-shared.tex
+++ /dev/null
@@ -1,32 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex}
-\input{../../../lib/paths}
-\usetikzlibrary{mmt}
-\begin{document}
-\importmodule[load=\MathHub{talks/omdoc/en/theory-of-theories}]{theory-of-theories}
-\symdef{thmo}[2]{\mathsf{#1}\colon\kern-.15em{#2}}
-\begin{tikzpicture}[xscale=.7,yscale=.9]\scriptsize
- \node[thy] (sg2) at (11,1) {$\mmtthy{semigroup}{S,\circ}{}$};
- \node[thy] (mon2) at (11,2.5) {$\mmtthy{monoid}{S,\circ,e}{}$};
- \node[thy] (grp2) at (11,4) {$\mmtthy{Agroup}{S,\circ,e,\cdot^{-1}}{}$};
- \node[thy] (ring2) at (15,5) {$\mmtthy{ring}{R,+,0,-,*,1}{}$};
- \node (sig) at (15,3)
- {$\mu\colon=\scriptscriptstyle\left\{\begin{array}{c}
- G\mapsto R^*\\\circ\mapsto *\\e\mapsto 1
- \end{array}\right\}$};
-
- \node (sig) at (15,1.5)
- {$\alpha\colon=\scriptscriptstyle\left\{\begin{array}{c}
- G\mapsto R\\\circ\mapsto +\\e\mapsto 0\\\cdot^{-1}\mapsto -
- \end{array}\right\}$};
-
- \draw[include](sg2) -- (mon2);
- \draw[include](mon2) -- (grp2);
- \draw[struct](mon2) -- node[right] {$\thmo{m}{\mu}$} (ring2);
- \draw[struct](grp2) -- node[above,near start] {$\thmo{a}{\alpha}$} (ring2);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/elalg-unshared-crop.pdf b/omdoc-semantics/tikz/omdoc/elalg-unshared-crop.pdf
deleted file mode 100644
index e79924c92ab8e7aac4d299de06c93ebee52d4130..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-unshared-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-unshared.pdf b/omdoc-semantics/tikz/omdoc/elalg-unshared.pdf
deleted file mode 100644
index 3e0a4fe629e2be358532ef08cbd429dba8873355..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-unshared.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-unshared.png b/omdoc-semantics/tikz/omdoc/elalg-unshared.png
deleted file mode 100644
index 653a70cdfee1fb474778c7afa9b10922388a61c2..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/elalg-unshared.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/elalg-unshared.tex b/omdoc-semantics/tikz/omdoc/elalg-unshared.tex
deleted file mode 100644
index f07a0b0b1a40f67199cdefc0fa766b32abae6863..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/elalg-unshared.tex
+++ /dev/null
@@ -1,26 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex}
-\input{../../../lib/paths}
-\usetikzlibrary{mmt}
-\begin{document}
-\importmodule[load=\MathHub{talks/omdoc/en/theory-of-theories}]{theory-of-theories}
-\symdef{thmo}[2]{\mathsf{#1}\colon\kern-.15em{#2}}
-\begin{tikzpicture}[xscale=.7,yscale=.9]\scriptsize
- \node[thy] (sg) at (1,1) {$\mmtthy{semigroup\textsuperscript{+}}{R,+}{}$};
- \node[thy] (mon) at (1,2.5) {$\mmtthy{monoid\textsuperscript{+}}{R,+,0}{}$};
- \node[thy] (grp) at (1,4) {$\mmtthy{Agroup\textsuperscript{+}}{R,+,0,-}{}$};
- \node[thy] (ring) at (5,5) {$\mmtthy{ring\textsuperscript{+,*}}{R,+,0,-*,1}{}$};
- \node[thy] (sg1) at (5,1) {$\mmtthy{semigroup\textsuperscript{*}}{R,*}{}$};
- \node[thy] (mon1) at (5,2.5) {$\mmtthy{monoid\textsuperscript{*}}{R,*,1}{}$};
-
- \draw[include](sg) -- (mon);
- \draw[include](sg1) -- (mon1);
- \draw[include](mon) -- (grp);
- \draw[include](mon1) -- (ring);
- \draw[include](grp) -- (ring);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/framing-crop.pdf b/omdoc-semantics/tikz/omdoc/framing-crop.pdf
deleted file mode 100644
index 387e0740af2449a503e8491bd12c592028660e33..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing-ex-crop.pdf b/omdoc-semantics/tikz/omdoc/framing-ex-crop.pdf
deleted file mode 100644
index 567f631d681e4e9f41dd6c75e23d3aa070cca7b9..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing-ex-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing-ex.pdf b/omdoc-semantics/tikz/omdoc/framing-ex.pdf
deleted file mode 100644
index 1c10bb6badc9d67f49969705240893fd1f826b4f..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing-ex.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing-ex.png b/omdoc-semantics/tikz/omdoc/framing-ex.png
deleted file mode 100644
index bbb4880a2108e7d53b0113c5d11fbc9b61248765..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing-ex.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing-ex.tex b/omdoc-semantics/tikz/omdoc/framing-ex.tex
deleted file mode 100644
index b112ec6ff757c571c8648aecc063837ae45e7182..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/framing-ex.tex
+++ /dev/null
@@ -1,21 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{shapes,arrows,mmt}
-\input{../../../lib/paths}
-\begin{document}
- \importmodule[load=\MathHub{talks/omdoc/en/inheritance_via_translations}]{inheritance-via-translations}
-\begin{tikzpicture}[xscale=2]
- \node (m) at (0,0) {\textsf{Manifold}};
- \node (g) at (1,0) {\textsf{Group}};
- \node (lg) at (.5,1) {\textsf{LieGroup}};
- \draw[struct] (m) -- node[left] {$\thmo{i}\eset$} (lg);
- \draw[struct] (g) -- node[right] {$\thmo{j}\eset$} (lg);
- \node (s) at (2,.5) {\textsf{BoolAlg}};
- \node (t) at (4,.5) {\textsf{SetField}};
- \draw[view] (s) -- node[above] {$\thmo{Stone}\sigma$} (t);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/framing.pdf b/omdoc-semantics/tikz/omdoc/framing.pdf
deleted file mode 100644
index 93ce10ac763c688ebe9b87917f41072cdb8e52e8..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing.png b/omdoc-semantics/tikz/omdoc/framing.png
deleted file mode 100644
index fea3d781cffb2d6e7897f6f5c277eb8c513d1884..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/framing.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/framing.tex b/omdoc-semantics/tikz/omdoc/framing.tex
deleted file mode 100644
index 5a12adac0bfd29516ce65be8a9e84972b51bd4b0..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/framing.tex
+++ /dev/null
@@ -1,16 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{shapes,arrows,mmt}
-\input{../../../lib/paths}
-\begin{document}
- \importmodule[load=\MathHub{talks/omdoc/en/inheritance_via_translations}]{inheritance-via-translations}
-\begin{tikzpicture}[xscale=2]
- \node (s) at (0,0) {$\mathcal{S}$};
- \node (t) at (1,0) {$\mathcal{P}$};
- \draw[struct] (s) -- node[above] {$\thmo{f}\sigma$} (t);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/group-nat-example-crop.pdf b/omdoc-semantics/tikz/omdoc/group-nat-example-crop.pdf
deleted file mode 100644
index 43e2e863410bbaa937d992983a103e7951e2159c..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/group-nat-example-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/group-nat-example.pdf b/omdoc-semantics/tikz/omdoc/group-nat-example.pdf
deleted file mode 100644
index 441be8e6689c03c3e459d1224dde24345fc9077e..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/group-nat-example.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/group-nat-example.png b/omdoc-semantics/tikz/omdoc/group-nat-example.png
deleted file mode 100644
index 64ada959d53182ae4228aa9a836eae9f3cbeca16..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/group-nat-example.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/group-nat-example.tex b/omdoc-semantics/tikz/omdoc/group-nat-example.tex
deleted file mode 100644
index 2087a842b67eec2d17e2d737475658473575db6f..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/group-nat-example.tex
+++ /dev/null
@@ -1,45 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{shapes,arrows,mmt}
-\input{../../../lib/paths}
-\begin{document}
-\importmodule[load=\MathHub{talks/omdoc/en/structures-views}]{structures-views}
-\begin{tikzpicture}[scale=.9]\footnotesize
-\begin{scope}[inner sep=0pt]
-\node[thy] (Mon) at (0,0) {$\mmtthy{monoid}{\gray{\text{comp},\;\text{unit}}}{}$};
-\node[thy] (CGr) at (0,3) {$\mmtthy{cgroup}{\gray{\text{mon},\;\text{inv}}}{}$};
-\node[thy] (Ring) at (-3.5,3) {$\mmtthy{ring}{\gray{\text{add}},\;\gray{\text{mult}}}{}$};
-\node[thy] (Int) at (3,3) {$\mmtthy{integers}{\gray{0,+,-}}{}$};
-\node[draw] (v2) at (6.9,1.5) {
- $\mathll{l}{
- \text{v2} \\
- \gray{\left\{\mathll{c}{
- \map{\cnpath{mon,comp}}{+} \\
- \map{\cnpath{mon,unit}}{0}
- }\right\}}
- \;\mathrm{or}\; \gray{\map{\text{mon}}{\text{v1}}} \\
- \gray{\map{\text{inv}}{-}}
- }$b
-};
-\end{scope}
-\draw[struct](Mon) -- node[left,near end]{$\spath{\text{cgroup}}{\text{mon}}$} (CGr);
-\draw[struct](CGr) -- node[above]{$\spath{\text{ring}}{\text{add}}$}(Ring);
-\draw[struct](Mon) -- node[left]{$\spath{\text{ring}}{\text{mult}}$} (Ring);
-\draw[view](Mon) -- node[draw,right=0.3cm]{
- $\mathll{c}{
- \text{v1}\\
- \gray{\map{\text{comp}}{+}} \\
- \gray{\map{\text{unit}}{0}}
- }$
-} (Int);
-\draw[view](CGr) -- node[above]{$\text{v2}$}(Int);
-\draw[struct] (4,0.5) -- +(1,0);
-\draw[view] (4,0) -- +(1,0);
-\node[right] at (5,0.5) {structure};
-\node[right] at (5,0) {view};
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/logic-morphism.png b/omdoc-semantics/tikz/omdoc/logic-morphism.png
deleted file mode 100644
index e49b159d7dd4bac5ee445f1f470fabe305c70a24..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/logic-morphism.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/logic-morphism.tex b/omdoc-semantics/tikz/omdoc/logic-morphism.tex
deleted file mode 100644
index 1935623ab4d73a36a674551fe5c3fea44e07230e..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/logic-morphism.tex
+++ /dev/null
@@ -1,48 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amsfonts,calbf}
-\usepackage{amstext}
-\usetikzlibrary{mmt}
-\input{../../../lib/paths}
-\begin{document}
-\def\MV{\cM\kern -.2em\cV}
-\def\BaseMV{\cB\kern-.2em\cM\kern-.2em\cV}
-\def\SZF{\mathbb{S}\text{ZF}}
-\def\TS{\mathcal{T}\text{Set}}
-\def\STLC{\lambda^{\rightarrow}}
-\small
-\begin{tikzpicture}[yscale=1.1]
- \node[thy] (zf) at (3.8,2.2) {ZF};
- \node[thy] (sorts) at (3,2.8) {$\SZF$};
- \node[thy] (lambda) at (3.8,3.5) {$\TS$};
- \node[thy] (records) at (4.5,2.8) {RZF};
- \node[thy] (stlc) at (3.8,4.3){{\red{$\STLC$}}};
- \node[thy] (koh) at (3,5.1) {{\red{[Koh94]}}};
- \node[thy] (ohori) at (4.5,5.1) {[Oho95]};
- \node[thy] (bmv) at (3.8,5.9) {{\red{$\BaseMV$}}};
- \node[thy] (mv) at (3.8,6.7) {{\red{$\MV$}}};
- \draw[struct] (zf) -- (sorts);
- \draw[struct] (zf) -- (records);
- \draw[struct] (lambda) -- (stlc);
- \draw[struct] (sorts) -- (lambda);
- \draw[color=red,struct] (stlc) -- (koh);
- \draw[struct] (sorts) -- (koh);
- \draw[struct] (records) -- (ohori);
- \draw[struct] (stlc) -- (ohori);
- \draw[color=red,struct] (koh) -- (bmv);
- \draw[struct] (ohori) -- (bmv);
- \draw[color=red,struct] (bmv) -- (mv);
-
- \node[thy] (izf) at (3.8,1) {iZF};
- \node[thy] (isorts) at (3,1.6) {i$\TS$};
- \node[thy] (irecords) at (4.5,1.6) {i$RZF$};
- \draw[struct] (izf) -- (isorts);
- \draw[struct] (izf) -- (irecords);
- \draw[view] (izf) -- (zf);
- \draw[view] (isorts) -- (sorts);
- \draw[view] (irecords) -- (records);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/nat-ex-cex-crop.pdf b/omdoc-semantics/tikz/omdoc/nat-ex-cex-crop.pdf
deleted file mode 100644
index c4a38c8d743e5bf5b87a966d8e4ba8d470b31ba5..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/nat-ex-cex-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/nat-ex-cex.pdf b/omdoc-semantics/tikz/omdoc/nat-ex-cex.pdf
deleted file mode 100644
index 8ae85d5c9508133434462d5b14a92906158bd4a8..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/nat-ex-cex.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/nat-ex-cex.png b/omdoc-semantics/tikz/omdoc/nat-ex-cex.png
deleted file mode 100644
index 4b6620f7435dd0ff57712a9e2e45d3616e8c8d4e..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/nat-ex-cex.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/nat-ex-cex.tex b/omdoc-semantics/tikz/omdoc/nat-ex-cex.tex
deleted file mode 100644
index 288a1c0a9d2aa90177bba223180c3baa04a4ad25..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/nat-ex-cex.tex
+++ /dev/null
@@ -1,29 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext,amssymb}
-\usetikzlibrary{mmt}
-\input{../../../lib/paths}
-\begin{document}
-\importmodule[load=\MathHub{talks/omdoc/en/thgraph-examples}]{thgraph-examples}
-\begin{tikzpicture}[xscale=4,yscale=2]\footnotesize
-\node[thy] (N) at (2,0) {$\mmtthy{NatNums}{\NaturalNumbers,s,0}{\scriptstyle P1,\ldots \scriptstyle P5}$};
-\node[thy] (m) at (1,0) {$\mmtthy{Monoid}{G,\circ,e}{\scriptstyle e\circ a=a}$};
-\node[thy] (e) at (2,1) {$\mmtthy{\ensuremath\NPlusEx}{+}{\scriptstyle n+0=n,\; n+s(m)=s(n+m)}$};
-\node[thy] (g) at (0.1,1) {$\mmtthy{Group}{}{\scriptstyle\forall x:G.\exists y:G.x\circ y=e}$};
-\node[thy] (n) at (1,1) {$\mmtthy{NonGrpMon}{}{\scriptstyle\exists x:G.\forall y:G.x\circ y\ne e}$};
-\node (phi) at (0.1,0) {$\phi=\left\{\begin{array}{l}
- G\mapsto\NaturalNumbers\\
- \circ\mapsto +\\
- e\mapsto 0\end{array}\right\}$};
-\draw[struct] (N) -- (e);
-\draw[view] (m) -- node[above] {$\thmo{e}\phi$} (e);
-\draw[struct] (m) -- node[right] (mg) {$\mathsf{g}$} (g);
-\draw[view] (n) -- node[above] {$\thmo{c}\phi$} (e);
-\draw[struct] (m) -- node[left] (mn){$\mathsf{f}$} (n);
-\draw[\mmtarrowtip-\mmtarrowtip,dotted] (mg) -- (mn);
-\draw[\mmtarrowtip-\mmtarrowtip,dotted] (.42,.85) -- (.68,.85);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/notation-definition.tex b/omdoc-semantics/tikz/omdoc/notation-definition.tex
deleted file mode 100644
index da7d1ba0bf36a9d741a55be7f84b133d31722959..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/notation-definition.tex
+++ /dev/null
@@ -1,29 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz}
-% put any importmodules into the preamble
-\begin{document}
- \begin{tikzpicture}
- \tikzstyle{layout} = [draw,line width=1.5pt,color=blue];
- \node[layout] (frac) at (4.5,4) {\renewcommand{\arraystretch}{2}$\begin{array}{c}\fbox{\#1}\\\hline\fbox{\#2}\end{array}$};
- \node[layout] (3) at (3,2.5){\#1};
- \node[layout] (fence) at (5,2.5) {\#2};
- \draw (frac) -- (3);
- \draw (frac) -- (fence);
-
- \node (app1) at (0,4) {@};
- \node (f3) at (0,2.5){\#1};
- \node (app2) at (1,2.5) {\#2};
- \node (div) at (-1,2.5){/};
- \draw (app1) -- (div);
- \draw (app1) -- (f3);
- \draw (app1) -- (app2);
-
- \draw[dashed,green] (frac) -- (app1);
- \draw[dashed,green] (3) to[in=-23,out=203] (f3);
- \draw[dashed,green] (fence) to[in=10,out=160] (app2);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/omdoc-levels.png b/omdoc-semantics/tikz/omdoc/omdoc-levels.png
deleted file mode 100644
index c07d29eab145e6ffc27f40e40bce5fc4792eb0af..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/omdoc-levels.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/omdoc-rdf.png b/omdoc-semantics/tikz/omdoc/omdoc-rdf.png
deleted file mode 100644
index ad30c2ffebd5aafe2ce39091cecf0ced73560661..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/omdoc-rdf.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/omdoc-rdf.tex b/omdoc-semantics/tikz/omdoc/omdoc-rdf.tex
deleted file mode 100644
index bb2b5fc336e8184f1fa9ff366abc4f57b2488915..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/omdoc-rdf.tex
+++ /dev/null
@@ -1,18 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{shapes,arrows}
-\input{../../../lib/paths}
-\begin{document}
-\begin{tikzpicture}[xscale=3]
-\tikzstyle abox=[font=\scriptsize,draw,minimum height=2.5ex,rounded corners];
-\tikzstyle tbox=[font=\scriptsize\bfseries\itshape,draw,minimum height=2.5ex];
-\node[abox] (pp) at (0,0) {pyth-proof};
-\node[abox] (pt) at (1,0) {pythagoras};
-\node[tbox] (P) at (0,1) {\bfseries Proof};
-\node[tbox] (T) at (1,1) {\bfseries Theorem};
-\draw[-open triangle 60] (pp) -- node[left=.4em] {type} (P);
-\draw[-open triangle 60] (pt) -- node[right=.5em] {type} (T);
-\draw[->] (pp) -- node[below=-.3ex] {proves} (pt);
-\draw[->] (P) -- node[below=-.3ex,font=\scriptsize\bfseries\itshape] {proves} (T);
-\end{tikzpicture}
-\end{document}
diff --git a/omdoc-semantics/tikz/omdoc/ontology-core.png b/omdoc-semantics/tikz/omdoc/ontology-core.png
deleted file mode 100644
index 07f3181eb96141c5e4767a4ee7a05c33ee543b5f..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/ontology-core.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/ontology-core.tex b/omdoc-semantics/tikz/omdoc/ontology-core.tex
deleted file mode 100644
index 18dee1045253711674b000353284a306d0f34cf1..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/ontology-core.tex
+++ /dev/null
@@ -1,117 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\input{../../../lib/paths}
-\usetikzlibrary{shadows,shapes,positioning,arrows}
-\begin{document}
-\begin{tikzpicture}
-\setlength{\unitlength}{.08\textwidth}
-\begin{scope}[
-legend/.style={font=\small\sffamily},
-Resource/.style={draw,drop shadow={shadow xshift=.3ex,shadow yshift=-.3ex},fill=white,font=\sffamily},
-Class/.style={Resource,rectangle,rounded corners,font=\sffamily},%minimum height?
-subClassOf/.style={thick,-open triangle 60},
-property/.style={-stealth'},
-Property/.style={font=\footnotesize\sffamily},
-blank/.style={Resource,circle,minimum size=.5\unitlength},
-node distance=\unitlength]
-% Things intentionally omitted in this picture:
-% * formal/informal knowledge items
-% * subclasses of Type, GeneralDefinition, Assertion
-% * proof steps (and the Statement/StatementInTheory distinction)
-
-%% Classes
-\node[Class]
- (MathKnowledgeItem)
- {MathKnowledgeItem};
-\node[Class]
- (Statement)
- [below right=\unitlength and -\unitlength of MathKnowledgeItem] {Statement};
-\node[Class]
- (Theory)
- [below left=\unitlength and 0pt of MathKnowledgeItem] {Theory};
-\node[Class]
- (Type)
- [below left=0pt and \unitlength of MathKnowledgeItem] {Type};
-\node[Class,text width=5em,text centered]
- (ConstitutiveStatement)
- [below left=2\unitlength and \unitlength of Statement] {Constitutive\\ Statement};
-\node[Class,text width=7em,text centered]
- (NonConstitutiveStatement)
- [below right=.75\unitlength and 0pt of Statement] {NonConstitutive\\ Statement};
-\node[Class]
- (Import)
- [above left=.5\unitlength and 0pt of ConstitutiveStatement] {Import};
-\node[Class]
- (Symbol)
- [below left=.5\unitlength and 1.5\unitlength of ConstitutiveStatement] {Symbol};
-% \node[Class] (DeclaredType) {DeclaredType};
-% \node[Class] (AssertedType) {AssertedType};
-\node[Class]
- (Definition)
- [below=of ConstitutiveStatement] {Definition};
-\node[Class]
- (Axiom)
- [below right=.75\unitlength and .25\unitlength of ConstitutiveStatement] {Axiom};
-\node[Class]
- (Example)
- [below left=\unitlength and 0pt of NonConstitutiveStatement] {Example};
-\node[Class]
- (Assertion)
- [below=of NonConstitutiveStatement] {Assertion};
-% AlternativeDefiniton?
-\node[Class]
- (Proof)
- [below right=.75\unitlength and -.25\unitlength of NonConstitutiveStatement] {Proof};
-\node[Class,text width=4em,text centered]
- (NotationDefinition)
- [below right=0pt and \unitlength of NonConstitutiveStatement] {Notation\\ Definition};
-
-\node[legend,anchor=north east,text width=1.75\unitlength]
- at (NotationDefinition.east |- MathKnowledgeItem.north) {
-\begin{tikzpicture}
-\draw[subClassOf] (0pt,0pt) to node[Property,pos=.4,anchor=north,text width=1.5\unitlength,text centered] {subClassOf} (1.5\unitlength,0pt);
-\draw[property] (0pt,-.75\unitlength) to node[Property,pos=.4,anchor=north,text width=1.5\unitlength,text centered] {other properties} (1.5\unitlength,-.75\unitlength);
-\end{tikzpicture}
-};
-
-%% subClassOf properties
-\draw[subClassOf] (Statement) to (MathKnowledgeItem);
-\draw[subClassOf] (Theory) to (MathKnowledgeItem);
-\draw[subClassOf] (Type) to (MathKnowledgeItem);
-\draw[subClassOf] (ConstitutiveStatement) to (Statement);
-\draw[subClassOf] (NonConstitutiveStatement) to (Statement);
-\draw[subClassOf] (Import) to (ConstitutiveStatement);
-\draw[subClassOf] (Symbol) to (ConstitutiveStatement);
-\draw[subClassOf] (Axiom) to (ConstitutiveStatement);
-\draw[subClassOf] (Definition) to (ConstitutiveStatement);
-\draw[subClassOf] (Example) to (NonConstitutiveStatement);
-\draw[subClassOf] (Assertion) to (NonConstitutiveStatement);
-\draw[subClassOf] (Proof) to (NonConstitutiveStatement);
-\draw[subClassOf] (NotationDefinition) to (NonConstitutiveStatement);
-
-%% other properties
-\draw[property] (MathKnowledgeItem) edge [out=-7.5,in=7.5,max distance=\unitlength,loop]
- node[Property,right,text width=10em] {dependsOn,\\ hasPart,\\ verbalizes}
- ();
-\draw[property] (Theory) edge [out=-60,in=-30,max distance=\unitlength,loop]
- node[Property,below,text width=4em,text centered] {imports,\\ metaTheory}
- ();
-\draw[property] (Import) to node[Property,above left,text width=2em,at start] {imports\\ From} (Theory);
-\draw[property] (Statement) to node[Property,below] {homeTheory} (Theory);
-\draw[property] (Symbol) to [bend left=10] node[Property,above left,sloped,text width=1em,text centered] {hasType} (Type);
-\draw[property] (Proof.south) to [bend left] node[Property,below] {proves} (Assertion.south);
-\draw[property] (Symbol) to node[Property,above,sloped,midway] {hasDefinition} (Definition);
-\draw[property] (Example) to
- % node[Property] {exemplifies}
- (Assertion);
-\draw[property] (Example) to
- % node[Property] {exemplifies}
- (Axiom);
-\draw[property] (Example) to [out=-90,in=-15]
- % node[Property] {exemplifies}
- (Definition.south east);
-\draw[property] (Example) to [out=-75,in=-22.5] node[Property,right,very near start] {exemplifies} (Symbol.south east);
-\draw[property] (NotationDefinition) to [bend left=35] node[Property,below,sloped,near start] {rendersSymbol} (Symbol);
-\end{scope}
-\end{tikzpicture}
-\end{document}
diff --git a/omdoc-semantics/tikz/omdoc/semweb-challenge.png b/omdoc-semantics/tikz/omdoc/semweb-challenge.png
deleted file mode 100644
index a428744e574465e91edede7dc3d48be671d37665..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/semweb-challenge.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/semweb-challenge.tex b/omdoc-semantics/tikz/omdoc/semweb-challenge.tex
deleted file mode 100644
index f095d2765095f2b2eb3e73be2b07474787a473c0..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/semweb-challenge.tex
+++ /dev/null
@@ -1,36 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{shapes,arrows}
-\input{../../../lib/paths}
-\begin{document}
-\begin{tikzpicture}%[xscale=1.3,yscale=.8]
-\draw[->] (0,0) -- (5,0);
-\draw[->] (0,0) -- (0,5);
-
-\node[anchor=west] at (5,0) {Investment};
-\node[anchor=south] at (0,5) {Return};
-
-\draw[dashed] (0,0) -- node [above=5pt,sloped,pos=0.85] {Break-Even Line} (4.8,4.8);
-
-\fill (1,1.3) circle (3pt);
-\node[anchor=north west] at (1,1.2) {Web~1.0};
-
-\fill (.8,1.6) circle (3pt);
-\node[anchor=south] at (.8,1.7) {Web~2.0};
-
-\fill (4,4.1) circle (3pt);
-\node[anchor=north west] at (4,4) {Formal Methods};
-
-\fill[green] (2.1,2.9) circle (4pt);
-\fill[red] (2.9,2.1) circle (4pt);
-\node[anchor=north west,text width=4cm] at (2.9,2.1) {Math on the \newline Semantic Web (today)};
-
-\draw[->,>=stealth',ultra thick,blue] (2.8,2.2) -- (2.2,2.8);
-\node[anchor=south west] at (2.7,2.2) {Our Challenge};
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: t
-%%% End:
-
diff --git a/omdoc-semantics/tikz/omdoc/strawman.png b/omdoc-semantics/tikz/omdoc/strawman.png
deleted file mode 100644
index ccae0bf0122f23e7f107e933ef919477e3b15cac..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/strawman.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/strawman.tex b/omdoc-semantics/tikz/omdoc/strawman.tex
deleted file mode 100644
index e6e6ee944cdafcbfa0e6106ab1ac25905cec02a8..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/strawman.tex
+++ /dev/null
@@ -1,58 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex}
-\usetikzlibrary{mmt}
-\input{../../../lib/paths}
-\begin{document}
- \begin{tikzpicture}[yscale=.9,xscale=.9]\small
- \node[thy] (N) at (2,0.5) {$\cal N$};
- \node[thy] (EN) at (0,1.5) {$\cal E_N$};
- \node[thy] (F) at (5,1.5) {$\cal F$};
- \node[thy] (S) at (3,1.5) {$\cal S$};
- \node[thy] (EF) at (6,2.5) {$\cal E_F$};
- \node[thy] (ES) at (4,2.5) {$\cal E_S$};
- \draw[struct] (N) -- (EN);
- \draw[struct] (N) -- (F);
- \draw[struct] (N) -- (S);
- \draw[struct] (S) -- (ES);
- \draw[struct] (F) -- (EF);
- \draw[->,gray,line width=3pt] (ES) -- (EF);
- \begin{scope}
- \tikzstyle{every node}=[draw]
- \node (top) at (3,5.2) {lecture};
- \node (sl1) at (0,4.5) {$sl_1$};
- \node (sl2) at (1,4.5) {$sl_2$};
- \node (sl3) at (2,4.5) {$sl_3$};
- \node (sl4) at (3,4.5) {$sl_4$};
- \node (an) at (4,4.5) {$sl_5$};
- \node (sl5) at (5,4.5) {$sl_6$};
- \node (sl6) at (6,4.5) {$sl_7$};
- \node (n1) at (0,3.5) {$n_1$};
- \node (n2) at (1.2,3.5) {$n_2$};
- \node (n5) at (4.5,3.5){\ldots};
- \node (n6) at (5.5,3.5) {$n_3$};
- \end{scope}
- \draw[->,dashed] (top) -- (sl1);
- \draw[->,dashed] (top) -- (sl1);
- \draw[->,dashed] (top) -- (sl2);
- \draw[->,dashed] (top) -- (sl3);
- \draw[->,dashed] (top) -- (sl4);
- \draw[->,dashed] (top) -- (an);
- \draw[->,dashed] (top) -- (sl5);
- \draw[->,dashed] (top) -- (sl6);
- \draw[->,dashed] (sl2) -- (n1);
- \draw[->,dashed] (sl2) -- (n2);
- \draw[->,dashed] (an) -- (n5);
- \draw[->,dashed] (sl5) -- (n6);
-
- \draw[->,dotted] (sl1) -- (N);
- \draw[->,dotted] (sl2) -- (EN);
- \draw[->,dotted] (sl3) -- (S);
- \draw[->,dotted] (sl4) -- (ES);
- \draw[->,dotted] (sl5) -- (F);
- \draw[->,dotted] (sl6) -- (EF);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/theory-inclusion.png b/omdoc-semantics/tikz/omdoc/theory-inclusion.png
deleted file mode 100644
index fa185ea87d16877249095f16b908df915660c974..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/theory-inclusion.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/theory-inclusion.tex b/omdoc-semantics/tikz/omdoc/theory-inclusion.tex
deleted file mode 100644
index d0fe4376ddef72ec4a478039b333d7b566f1abca..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/theory-inclusion.tex
+++ /dev/null
@@ -1,44 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,calbf}
-\input{../../../lib/paths}
-\usetikzlibrary{mmt}
-\begin{document}
- \begin{tikzpicture}
- \begin{scope}
- \tikzstyle{every node}=[thy]
- \node (th1) at (2,-0.5) {$\cT_1$};
- \node (th2) at (5,-0.5) {$\cT_2$};
- \node (a1) at (0,1.2) {$\cA_1$};
- \node (b1) at (2,0.65) {$\cB_1$};
- \node (c1) at (1,2) {$\cC_1$};
- \node (a2) at (4,1.2) {$\cA_2$};
- \node (b2) at (6,0.65) {$\cB_2$};
- \node (c2) at (5,2) {$\cC_2$};
- \end{scope}
- \draw[struct](th1) -- (a1);
- \draw[struct](th1) -- (a2);
- \draw[struct](th2) -- (b1);
- \draw[struct](th2) -- (a2);
- \draw[struct](th2) -- (b2);
- \draw[struct](a1) -- (c1);
- \draw[struct](a2) -- (c2);
- \draw[struct](b1) -- (c1);
- \draw[struct](b2) -- node[left] {$\sigma$} (c2);
-
- \draw[view](a1) -- node[below,near end]{$\alpha$} (a2);
- \draw[view](b1) -- node[below]{$\beta$} (b2);
- \draw[view](c1) -- node[below]{$\gamma$} (c2);
- \draw[view,line width=1.5pt] (c1) .. controls (2.5,2.3) and (4,2.3) ..
- node[above]{$\Gamma$} (c2);
- \draw[view,line width=1.5pt] (6.7,2) -- (7.7,2);
- \node (ti) at (9,2) {theory inclusion};
- \draw[view] (6.7,1.5) -- (7.7,1.5);
- \node (ai) at (9,1.5) {axiom inclusion};
- \draw[struct] (6.7,1) -- (7.7,1);
- \node (i) at (9,1) {inheritance};
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/theory-of-theories.png b/omdoc-semantics/tikz/omdoc/theory-of-theories.png
deleted file mode 100644
index ca1f2cefb409a3a9120654a01428c496068f752e..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/theory-of-theories.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/theory-of-theories.tex b/omdoc-semantics/tikz/omdoc/theory-of-theories.tex
deleted file mode 100644
index 8549cf34fec3e5a401ae5f151bc09199c8b9ae0d..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/theory-of-theories.tex
+++ /dev/null
@@ -1,17 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex}
-\usetikzlibrary{mmt}
-\input{../../../lib/paths}
-\begin{document}
-\begin{tikzpicture}[yscale=1.2]
- \node[thy] (sg) at (1,1) {$\mmtthy{semigroup}{R,\circ}{}$};
- \node[thy] (mon) at (1,2.5) {$\mmtthy{monoid}{R,\circ,e}{}$};
- \node[thy] (grp) at (1,4) {$\mmtthy{group}{R,\circ,e,i}{}$};
- \draw[include](sg) -- (mon);
- \draw[include](mon) -- (grp);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/omdoc/tree-height-crop.pdf b/omdoc-semantics/tikz/omdoc/tree-height-crop.pdf
deleted file mode 100644
index cf3a7693dabd029726f7d25700d7fd0fc990fac1..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/tree-height-crop.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/tree-height.pdf b/omdoc-semantics/tikz/omdoc/tree-height.pdf
deleted file mode 100644
index 9b2a0f5dfe044a7e5f947c3847b931f9b5b77aad..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/tree-height.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/tree-height.png b/omdoc-semantics/tikz/omdoc/tree-height.png
deleted file mode 100644
index 528556cb0f02af0989f51e4e220090eebc395294..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/omdoc/tree-height.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/omdoc/tree-height.tex b/omdoc-semantics/tikz/omdoc/tree-height.tex
deleted file mode 100644
index 613c0db0511ecff20a0dba7fda9c4dff4c039ede..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/omdoc/tree-height.tex
+++ /dev/null
@@ -1,34 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz,stex,amstext}
-\usetikzlibrary{mmt}
-\input{../../../lib/paths}
-
-\begin{document}
- \importmodule[load=\MathHub{talks/omdoc/en/inheritance_via_translations}]{inheritance-via-translations}
-\begin{tikzpicture}[xscale=3.5,yscale=1.2]\footnotesize
- \node[thy] (pg) at (2,0.5) {\textsf{PlanarGeo}};
- \node at (.9,1.9) {\textsf{PGP}};
- \node[thy] (pg1) at (1,1)
- {\includegraphics[width=1.6cm,angle=180]{\MathHub{talks/omdoc/PIC/PGP}}};
- \node at (1.83,2.9) {\textsf{PGS}};
- \node[thy] (pg2) at (2,2)
- {\includegraphics[width=2cm,angle=180]{\MathHub{talks/omdoc/PIC/PGS}}};
- \node at (-.1,2.9) {\textsf{Problem}};
- \node[thy] (tree) at (0,2)
- {\includegraphics[width=2.3cm,angle=180]{\MathHub{talks/omdoc/PIC/PRO}}};
- \node at (.45,3.45) {\textsf{SOL}};
- \node[thy] (soln) at (1,3)
- {\includegraphics[width=2.6cm,angle=180]{\MathHub{talks/omdoc/PIC/SOL}}};
- \node[thy] (forestry) at (0,.55) {\textsf{Forestry}};
- \draw[include] (pg) -- (pg1);
- \draw[include] (pg1) -- node[above] {$\mathsf{q}$} (pg2);
- \draw[view] (pg2) -- node[above] {$\thmo{\primvar{p}}\phi$} (soln);
- \draw[view] (pg1) -- node[above] {$\thmo{p}\phi$} (tree);
- \draw[include] (tree) -- node[above] {$\mathsf{\primvar{q}}$} (soln);
- \draw[include] (forestry) -- (tree);
- \end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/planetary/Makefile b/omdoc-semantics/tikz/planetary/Makefile
deleted file mode 100644
index 272eb3dd074bd6f7585e24e2acaaa33eec266dfc..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/Makefile
+++ /dev/null
@@ -1,3 +0,0 @@
-STCDIR ?= ../../..
-BUTFILES = test.tex
-include $(STCDIR)/lib/make/Makefile.tikz
diff --git a/omdoc-semantics/tikz/planetary/adp.png b/omdoc-semantics/tikz/planetary/adp.png
deleted file mode 100644
index 37e9d08f814df1be84dd1a41420623d40ef745e0..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/adp.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/adp.tex b/omdoc-semantics/tikz/planetary/adp.tex
deleted file mode 100644
index e805356a94a03ed0984c0bd05f8a18cc6acf1d73..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/adp.tex
+++ /dev/null
@@ -1,59 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz}
-\usetikzlibrary{positioning,arrows,shapes,fit,snakes}
-\begin{document}
-\begin{tikzpicture}
-[scale=.8,inner sep=2mm, node distance=2cm,
-place/.style={circle,draw=blue!50,fill=blue!20,thick},
-transition/.style={regular polygon,regular polygon sides=4,draw=blue!50,fill=blue!20,thick},
-block/.style={rectangle, draw, fill=blue!20,
- text width=5em, text centered, rounded corners, minimum height=4em}]
-
-%% the diagram, which is also defines the origin
-\node (center) at ( 0,0) [place] {};
-\node (middleleft) at (-1.5,0) [transition] {};
-\node (middleright) at (1.5,0) [transition] {};
-
-\node (righttop) at ( 1,1) [place] {};
-\node (lefttop) at (-1,1) [place] {};
-
-\node (leftbottom) at (-1,-1) [place] {};
-\node (rightbottom) at (1,-1) [place] {};
-
-%% labels
-\coordinate (A) at (-2.5,5);
-\coordinate (B) at (-2.5,-1.5);
-\coordinate [label=left:{Document Commons}] (C) at (-3,4.5);
-\coordinate [label=right:{Content Commons}] (D) at (-2,4.5);
-\node[text width=5em] at (2.5,1.2) {Content Objects};
-
-%% lines
-
-\draw[-] (center) -- (lefttop);
-\draw[-] (center) -- (rightbottom);
-\draw[-] (center) -- (leftbottom);
-\draw[-] (center) -- (righttop);
-\draw[-] (lefttop) -- (righttop);
-\draw[-] (leftbottom) -- (rightbottom);
-\draw[-] (leftbottom) -- (middleleft);
-\draw[-] (middleleft) -- (lefttop);
-\draw[-] (middleright) -- (righttop);
-\draw[-] (middleright) -- (rightbottom);
-\draw[->,dashed] (lefttop.north) to [bend left=45] (righttop.north);
-\draw[->,dashed] (leftbottom) -- (lefttop);
-
-\draw[-,dashed] (A) -- (B);
-
-%% active documents and player
-\node (activedocs) at (-5,0) [block] {Active Documents};
-\node at (-4.6,0.4) [block] {Active Documents};
-\node at (-4.8,0.2) [block] {Active Documents};
-\node at (-5,0) [block] {Active Documents};
-
-\node (player) at (-2.5,3) [block] {Document Player};
-
-\draw[<->,draw,thick] (-2,0) -- (-3,0);
-\draw[<->,draw,thick] (-4,1.5) -- (-3,2);
-\draw[<->,draw,thick] (-2,2) -- (-1,1.5);
-\end{tikzpicture}
-\end{document}
diff --git a/omdoc-semantics/tikz/planetary/adp2.png b/omdoc-semantics/tikz/planetary/adp2.png
deleted file mode 100644
index c9e45dac49b1b920f937b7b6edbe0058b1b879a6..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/adp2.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/adp2.tex b/omdoc-semantics/tikz/planetary/adp2.tex
deleted file mode 100644
index 28aad008b22597d23551c26b90e4178c6601ccbf..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/adp2.tex
+++ /dev/null
@@ -1,67 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex}
-\usepackage{tikz}
-\usetikzlibrary{positioning,arrows,shapes,fit,snakes}
-\input{../../../lib/paths}
-\begin{document}
-\begin{tikzpicture}
-[inner sep=1.5mm, node distance=2cm,outer sep = 0pt,
-place/.style={circle,draw=blue!50,fill=blue!20,thick,outer sep = 0pt},
-transition/.style={regular polygon,regular polygon sides=4,draw=blue!50,fill=blue!20,thick},
-dblock/.style={rectangle, draw, fill=blue!20,
- text width=4em, text centered, minimum height=3.5em},
-wblock/.style={rectangle, draw, fill=blue!20, rounded corners,
- text width=5em, text centered, minimum height=3.5em,outer sep=4pt},
-scale=.7]
-\pgfdeclareimage[width=1cm]{user}{\MathHub{talks/planetary/PIC/user}}
-
-%% the diagram, which is also defines the origin
-\node (center) at ( 0,0) [place] {};
-\node (middleleft) at (-1.5,0) [transition] {};
-\node (middleright) at (1.5,0) [transition] {};
-
-\node (righttop) at ( 1,1) [place] {};
-\node (lefttop) at (-1,1) [place] {};b
-
-\node (leftbottom) at (-1,-1) [place] {};
-\node (rightbottom) at (1,-1) [place] {};
-
-%% labels
-\coordinate (A) at (-2.5,5);
-\coordinate (B) at (-2.5,-1.5);
-\coordinate [label=left:{Document Commons}] (C) at (-3,4.8);
-\coordinate [label=right:{Content Commons}] (D) at (-2,4.8);
-\node[text width=4em] at (2.5,1.2) {\footnotesize Content Objects};
-
-%% lines
-
-\draw[-] (center) -- (lefttop);
-\draw[-] (center) -- (rightbottom);
-\draw[-] (center) -- (leftbottom);
-\draw[-] (center) -- (righttop);
-\draw[-] (lefttop) -- (righttop);
-\draw[-] (leftbottom) -- (rightbottom);
-\draw[-] (leftbottom) -- (middleleft);
-\draw[-] (middleleft) -- (lefttop);
-\draw[-] (middleright) -- (righttop);
-\draw[-] (middleright) -- (rightbottom);
-\draw[->,dashed] (lefttop.north) to [bend left=45] (righttop.north);
-\draw[->,dashed] (leftbottom) -- (lefttop);
-
-\draw[-,dashed] (A) -- (B);
-
-%% active documents and player
-\node (activedocs) at (-5,0) [dblock] {Semantic Documents};
-\node at (-4.6,0.4) [dblock] {Semantic Documents};
-\node at (-4.8,0.2) [dblock] {Semantic Documents};
-\node at (-5,0) [dblock] {Semantic Documents};
-
-\node (player) at (-2.5,3.2) [wblock] {Active Document Player};
-\node[rectangle,left=1.4cm of player] (user) {\pgfuseimage{user}};
-\draw[<->,draw,dashed] (player) -- node[above]{view} node[below]{interact} (user);
-
-\draw[<->,draw,thick] (-1.5,0) -- (-3.5,0);
-\draw[<->,draw,thick] (-4.5,1.1) -- (-3.5,2.5);
-\draw[<->,draw,thick] (-.3,1.1) -- (-1.5,2.5);
-\end{tikzpicture}
-\end{document}
diff --git a/omdoc-semantics/tikz/planetary/all.pdf b/omdoc-semantics/tikz/planetary/all.pdf
deleted file mode 100644
index f7fc113586cf984188810b6e7338df8d61d71223..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/all.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/all.tex b/omdoc-semantics/tikz/planetary/all.tex
deleted file mode 100644
index f92003e5e5ab88b00d83d4f348f8de3202b0126b..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/all.tex
+++ /dev/null
@@ -1,31 +0,0 @@
-\documentclass[notes]{mikoslides}
-\usepackage{amsmath,amssymb,eurosym,wasysym,multirow,paralist}
-\usepackage{lststex,lstomdoc}
-\usepackage{ded,calbf,url,rotating}
-\usepackage{wrapfig,colortbl,wasysym}
-\usepackage[show]{ed}
-\usetikzlibrary{shapes}
-\usetikzlibrary{patterns}
-\usetikzlibrary{arrows}
-\usetikzlibrary{mmt}
-\usetikzlibrary{tikzmark}
-\input{../../../lib/paths}
-\input{\MathHub{lib/etc/WApersons}}
-\coolurion
-\usepackage[bookmarks,linkcolor=black,citecolor=black,urlcolor=black,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}
-\begin{document}
-\begin{center}\LARGE File: \url{adp.tex}\end{center}
-\input{adp}\newpage
-\begin{center}\LARGE File: \url{adp2.tex}\end{center}
-\input{adp2}\newpage
-\begin{center}\LARGE File: \url{course-reuse.tex}\end{center}
-\input{course-reuse}\newpage
-\begin{center}\LARGE File: \url{documentlayers.tex}\end{center}
-\input{documentlayers}\newpage
-\begin{center}\LARGE File: \url{moc-arch.tex}\end{center}
-\input{moc-arch}\newpage
-\begin{center}\LARGE File: \url{planetary-arch.tex}\end{center}
-\input{planetary-arch}\newpage
-\bibliographystyle{alpha}
-\bibliography{kwarc}
-\end{document}
diff --git a/omdoc-semantics/tikz/planetary/course-reuse.tex b/omdoc-semantics/tikz/planetary/course-reuse.tex
deleted file mode 100644
index 2e5868413e6ed798208af15fcafcc4f2b2b42935..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/course-reuse.tex
+++ /dev/null
@@ -1,51 +0,0 @@
-\documentclass{standalone}
-\usepackage{tikz}
-\usetikzlibrary{shapes}
-\begin{document}
-\begin{tikzpicture}\footnotesize
- \tikzstyle{course} = [draw,rounded corners,inner sep=0pt]
- \tikzstyle{topic} = [draw,inner sep=2pt]
-
- \node[topic] (strings) at (1,0) {strings};
- \node[topic] (pref) at (2.5,0) {\begin{tabular}{c}prefix\\codes\end{tabular}};
- \node[topic] (codes) at (1.5,1) {codes};
-
- \node[topic] (xml) at (5.3,0) {DAG};
- \node[topic] (uc) at (4,0) {Trees};
- \node[topic] (html) at (4.5,1) {GraphTheo};
-
- \node[topic] (docbook) at (8,0) {NatDed};
- \node[topic] (dita) at (6.8,0) {FOL};
- \node[topic] (man) at (7.5,1) {Logic};
-
- \node[course] (gencs) at (3,2) {\begin{tabular}{c}GenCS\\2011\end{tabular}};
- \node[course] (gencs10) at (1.5,2) {\begin{tabular}{c}GenCS\\2010\end{tabular}};
- \node[course] (gencs12) at (4.5,2) {\begin{tabular}{c}GenCS\\2012\end{tabular}};
- \node (gdots) at (3,1) {\ldots};
- \node[course] (tdm) at (6.5,2) {\begin{tabular}{c}AdvCS\\2011\end{tabular}};
- \node[course] (tdm12) at (8,2) {\begin{tabular}{c}AdvCS\\2012\end{tabular}};
- \node (tdots) at (6,1) {\ldots};
-
- \draw (gencs) -- (codes) -- (strings);
- \draw (gencs) -- (html) -- (uc);
- \draw (tdm) -- (man) -- (docbook);
- \draw (tdm) -- (html) -- (xml);
- \draw (codes) -- (pref);
- \draw (man) -- (dita);
- \draw (gencs) -- (gdots);
- \draw (tdm) -- (tdots);
- \draw (gencs12) -- (codes);
- \draw (gencs10) -- (codes);
- \draw (gencs12) -- (gdots);
- \draw (gencs10) -- (gdots);
- \draw (gencs12) -- (html);
- \draw (gencs10) -- (html);
- \draw (tdm12) -- (html);
- \draw (tdm12) -- (tdots);
- \draw (tdm12) -- (man);
-\end{tikzpicture}
-\end{document}
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
diff --git a/omdoc-semantics/tikz/planetary/documentlayers.png b/omdoc-semantics/tikz/planetary/documentlayers.png
deleted file mode 100644
index e1f583e8974fb9c21b6b0f4dfa948ce7a250435f..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/documentlayers.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/documentlayers.tex b/omdoc-semantics/tikz/planetary/documentlayers.tex
deleted file mode 100644
index bfd2a85dbd941904cbd2f2dd78b6f2c73f190462..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/documentlayers.tex
+++ /dev/null
@@ -1,57 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,amstext}
-\input{../../../lib/paths}
-\usepackage{tikz}
-\usetikzlibrary{positioning,arrows,shapes,fit,snakes}
-\begin{document}
-\begin{module}
- \importmodule[load=\MathHub{talks/planetary/en/pantarhei}]{pantarhei}
-
-\def\ccc{3.6}\def\lev{0}\def\adc{2}\def\aadc{.7}
- \begin{tikzpicture}[xscale=2.2,yscale=.9]
- \draw[dashed,thick] (2.9,4.3) -- (2.9,-1.5);
- \node (cc) at (4,4) {\large\bf Content Commons};
- \node (dc) at (1.4,4) {\large\bf Active Documents};
- \node (lev) at (\lev,4) {Level};
-
- \node (1) at (\lev,0) {1};
- \node (0) at (\lev,-1) {0};
- \node (2) at (\lev,1) {2};
- \node (3) at (\lev,2) {3};
- \node (4) at (\lev,3) {4};
-
- \node[draw] (panta) at (\adc,3) {$\pantarhei$ Instance};
- \node[draw] (course) at (\adc,2) {Course};
- \node[draw] (lect) at (\adc,1) {Notes/Problems/Exams};
- \node[draw] (lo) at (\adc,0) {Learning Object};
- \node[draw,dashed] (slide) at (\adc,-1) {Slide};
-
- \draw[->] (course) -- (panta);
- \draw[->] (lect) -- (course);
- \draw[->] (lo) -- (lect);
- \draw[->,dashed] (slide) -- (lo);
-
- \node[draw] (planets) at (\aadc,3) {PlanetMath};
- \node[draw] (enc) at (\aadc,2) {Encyclopedia};
- \node[draw] (art) at (\aadc,0) {Article};
-
- \draw[->] (enc) -- (planets);
- \draw[->] (art) -- (enc);
-
- \node[draw] (lib) at (\ccc,3) {Library};
- \node[draw] (coll) at (\ccc,2) {Collection};
- \node[draw] (mono) at (\ccc,1) {Monograph};
- \node[draw] (mod) at (\ccc,0) {Module};
- \node[draw,dashed] (obj) at (\ccc,-1) {Object};
-
- \draw[->] (mod) -- (mono);
- \draw[->] (mono) -- (coll);
- \draw[->] (coll) -- (lib);
- \draw[<-] (mod) to[loop right] (mod);
- \draw[->,dashed] (obj) -- (mod);
- \draw[<-,dashed] (obj) to[loop right] (obj);
-% \draw[->] (coll) to[loop right] (coll);
-
-\end{tikzpicture}
-\end{module}
-\end{document}
diff --git a/omdoc-semantics/tikz/planetary/moc-arch.png b/omdoc-semantics/tikz/planetary/moc-arch.png
deleted file mode 100644
index f77ecefa5902b55a46db1365108bf6d0a6ee164c..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/moc-arch.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/moc-arch.tex b/omdoc-semantics/tikz/planetary/moc-arch.tex
deleted file mode 100644
index 146932f7800a8120fa8b19ea9169c5264bef9f81..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/moc-arch.tex
+++ /dev/null
@@ -1,33 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,amstext}
-\input{../../../lib/paths}
-\usepackage{tikz}
-\usetikzlibrary{positioning,arrows,shapes,fit,snakes}
-\begin{document}
-\begin{module}
- \importmodule[load=\MathHub{talks/planetary/en/realizing}]{realizing-planetary}
- \importmodule[load=\MathHub{talks/omoc/en/nutshell}]{omoc-nutshell}
-
-\begin{tikzpicture}[scale=0.75,transform shape]
-\pgfdeclareimage[width=1cm]{user}{\MathHub{talks/planetary/PIC/user}}
-
-\tikzstyle{system} = [rectangle, draw, fill=blue!20, text width=1.6cm, text centered, rounded corners, minimum height=1cm,shade, top color=white, bottom color=blue!20 ]
-\tikzstyle{arrowleft} = [single arrow, draw, inner sep=1pt, anchor=west,minimum width=1cm, minimum height=1.7cm, fill=lightgray!20,single arrow head indent=.4ex]
-\tikzstyle{arrowright} = [single arrow, shape border rotate=180, draw, inner sep=1pt, anchor=west,minimum width=1cm,minimum height=1.7cm,fill=lightgray!20,single arrow head indent=.5ex]
-
- \node[rectangle] (user) {\pgfuseimage{user}};
- \node[system,right=1.7cm of user] (planetary) {$\planetary$};
- \node[system,right=1.9cm of planetary] (tnt) {$\tntbase$};
- \node[system, right=1.9cm of tnt] (doctip) {$\doctip$};
-
- \node[above right=0.1cm of planetary, arrowleft] (ar1) {$\sTeX$};
- \node[below right=0.1cm of planetary, arrowright] (ar2) {XHTML};
-
- \node[above right=0.1cm of tnt, arrowleft] (ar3) {$\omdoc$};
- \node[below right=0.1cm of tnt, arrowright] (ar4) {Impacts};
- \node [double arrow, left=0.1cm of planetary,draw, minimum height=1.7cm, minimum width=1cm, fill=lightgray!20, double arrow head indent=.5ex] {};
-
-\node[rectangle,rounded corners,draw,inner sep=12pt,dashed, fit=(user) (doctip) (ar1) (ar4)] (pacbox) {};
-\end{tikzpicture}
-\end{module}
-\end{document}
diff --git a/omdoc-semantics/tikz/planetary/planetary-arch.pdf b/omdoc-semantics/tikz/planetary/planetary-arch.pdf
deleted file mode 100644
index bf7ac0beacb08d8bbce8e32bf0a2380c578953c0..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/planetary-arch.pdf and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/planetary-arch.png b/omdoc-semantics/tikz/planetary/planetary-arch.png
deleted file mode 100644
index a8c1d624629118fdbd2c1c5e259c9d26af6588b2..0000000000000000000000000000000000000000
Binary files a/omdoc-semantics/tikz/planetary/planetary-arch.png and /dev/null differ
diff --git a/omdoc-semantics/tikz/planetary/planetary-arch.tex b/omdoc-semantics/tikz/planetary/planetary-arch.tex
deleted file mode 100644
index f491df10417c87c9d857410f1d5faa636680acef..0000000000000000000000000000000000000000
--- a/omdoc-semantics/tikz/planetary/planetary-arch.tex
+++ /dev/null
@@ -1,65 +0,0 @@
-\documentclass{standalone}
-\usepackage{stex,amstext}
-\input{../../../lib/paths}
-\usepackage{tikz}
-\usetikzlibrary{positioning,arrows,shapes,fit,snakes}
-\begin{document}
-\begin{module}
- \importmodule[load=\MathHub{talks/planetary/en/realizing}]{realizing-planetary}
- \importmodule[load=\MathHub{CompLog/semweb/en/sparql}]{sparql}
-
-\begin{tikzpicture}[scale=0.75,transform shape]
- \pgfdeclareimage[width=1cm]{user}{\MathHub{talks/planetary/PIC/user}}
-
- \tikzstyle{system} = [rectangle, draw, fill=blue!20, text width=1.6cm, text centered,
- rounded corners, minimum height=1cm,shade,
- top color=white, bottom color=blue!20]
- \tikzstyle{arrowleft} = [single arrow, draw, inner sep=1pt, anchor=west,
- minimum width=1cm, minimum height=1.7cm,
- fill=lightgray!20,single arrow head indent=.4ex]
- \tikzstyle{arrowright} = [single arrow, shape border rotate=180, draw, inner sep=1pt,
- anchor=west,minimum width=1cm,minimum height=1.7cm,
- fill=lightgray!20,single arrow head indent=.5ex]
- \tikzstyle{arrowdown} = [single arrow,rotate=270, draw, inner sep=1pt,
- anchor=west,minimum width=1cm,minimum height=1.7cm,
- fill=lightgray!20,single arrow head indent=.5ex]
-
-\node[rectangle] (user) {\pgfuseimage{user}};
-\node[system,right=1.7cm of user] (firefox) {Firefox};
-\node[system,right=1.7cm of firefox] (drupal) {$\drupal$};
-\node[system,right=1.9cm of drupal] (tnt) {$\tntbase$};
-
-% \node[above right=0.1cm of drupal, arrowleft] (ar1) {$\sTeX$/LF};
-\node[right=0.1cm of drupal, arrowright] (ar2) {HTML5};
-\node[system, above=1.4cm of ar2] (latexml) {$\latexml$};
-\node[system, below=1.4cm of ar2] (virtuoso) {Virtuoso};
-\node[above right=0.1cm of firefox, arrowleft] (ar3) {REST};
-\node[below right=0.1cm of firefox, arrowright] (ar4) {HTML5};
-
-\node [double arrow, left=0.1cm of firefox,draw,
- minimum height=1.7cm, minimum width=1cm, fill=lightgray!20, double arrow head indent=.5ex] {};
-\node[below=0.1cm of drupal,double arrow,rotate=315, draw, inner sep=1pt, anchor=west,
- minimum width=1cm,minimum height=1.7cm,fill=lightgray!20,single arrow head indent=.5ex]
- {$\sparql$};
-\node[above=0.1cm of drupal,single arrow,rotate=45, draw, inner sep=1pt,anchor=west,
- minimum width=1cm,minimum height=1.7cm,fill=lightgray!20,single arrow head indent=.5ex] {$\sTeX$};
-\node[below right=0.1cm of latexml,single arrow,rotate=315,draw,
- inner sep=1pt, anchor=west,minimum width=1cm,minimum
- height=1.7cm,fill=lightgray!20,single arrow head indent=.5ex] {$\omdoc$};
-\node[below=0.1cm of tnt,single arrow,rotate=235, draw, inner sep=1pt,
- anchor=west,minimum width=1cm,minimum height=1.7cm,fill=lightgray!20,
- single arrow head indent=.5ex] {$\RDFlanguage$};
-
-\draw[->,thick] (firefox) to[loop below] node [below] (jobad) {$\jobad$} (firefox);
-\draw[<->,dashed] (jobad) -- (virtuoso);
-\draw[<->,dashed] (jobad) -- (tnt);
-\node[rectangle,rounded corners,draw,inner sep=6pt,dotted,
- fit=(drupal) (latexml) (virtuoso) (tnt)] (pacbox) {};
-\node[above=1.1cm of tnt] {\footnotesize \hspace{1.4em}\begin{tabular}{r}Content\\ Management\\ System\end{tabular}};
-\end{tikzpicture}
-\end{module}
-\end{document}
-%%% Local Variables:
-%%% mode: LaTeX
-%%% TeX-master: t
-%%% End: