removing obsolete stuff

omdoc-semantics/conc.tex

-\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

omdoc-semantics/omdoc.tex

-\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

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}
 

omdoc-semantics/relwork.tex

-\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.

omdoc-semantics/tikz/externals.txt

-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

omdoc-semantics/tikz/mathml/Makefile

-STCDIR ?= ../../..
-BUTFILES = template.tex
-include $(STCDIR)/lib/make/Makefile.tikz

omdoc-semantics/tikz/mathml/all.tex

-\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}

omdoc-semantics/tikz/mathml/ctree-parallel.tex

-\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: 

omdoc-semantics/tikz/mathml/functional-markup.tex

-\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: 

omdoc-semantics/tikz/mathml/layout-schemata.tex

-\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: 

omdoc-semantics/tikz/mathml/parallel-xml.tex

-\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: