From 7f9c9a9c8d3d46cd7999fbb686c11728e9b7a697 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 17 Jul 2015 09:24:09 -0400
Subject: [PATCH] bla

---
 adoptions/paper.pdf     | Bin 429173 -> 429173 bytes
 adoptions/phenomena.tex |  30 ++++++++++++++----------------
 flatsearch/paper.pdf    | Bin 411889 -> 411889 bytes
 3 files changed, 14 insertions(+), 16 deletions(-)

diff --git a/adoptions/paper.pdf b/adoptions/paper.pdf
index 84b1acc522020a07015aac1ed001dccbf21f5dfe..2c656c324d72787bed53425da7e329c3ff83757b 100644
GIT binary patch
delta 185
zcmex5L+a}csfHHD7N!>F7M2#)Eo?{Y7|o_1t7B8vH#amgG%&F+G1oOPQ8zG9*W}Xo
z%};SjEJ;<+aIrEnFf=tlRx(|po-I_sOhF?gHA2BBvn*8sq-1(+J)1bA;r6NZY*8G}
wmd=)rE{<-Fj^-|gX69y2=8kSI29D0orsf7FmM%_ib_zCxlx#QZU~^^x0J**}zW@LL

delta 185
zcmex5L+a}csfHHD7N!>F7M2#)Eo?{Y7)_@it7B8vH!(6dGBmO<G14|LQa3PA*W}Xo
z%};SjEJ;<+aIrEnFf=tlRx(|po-I_sR6!#oHA2BBvn*A?$iUEKdTl+MIHSS#sr778
y9L|oGPL6J_&L(cIPOiqT#zy8Q7H+1-ZU(NF<`#x#hK6<uHiVRHH|k(>W&r@HFfc&?

diff --git a/adoptions/phenomena.tex b/adoptions/phenomena.tex
index fe87a89..694a943 100644
--- a/adoptions/phenomena.tex
+++ b/adoptions/phenomena.tex
@@ -96,22 +96,20 @@ definitions and theorems. For instance, when establishing results, \cite{covers-
 In the second example, the situation is a bit more complex, since the import of the
 terminology and definitions is not direct, but involves a choice.
 
-\begin{example}\label{ex:mnets}
-  \cite{mnets-orig} studies the properties of multinets. In the preliminaries section they
-  are introduced with the following definition:
-  \begin{labeledquote}\sf
-    \textbf{Definition 2.1} The union of all completely reducible fibers (with a fixed
-    partition into fibers, also called blocks) of a Ceva pencil of degree $d$ is called a
-    $(k, d)-\mathit{multinet}$ where $k$ is the number of the blocks. The base $X$ of the
-    pencil is determined by the multinet structure and called the base of the multinet.
-  \end{labeledquote}
-  Later in that section some properties of multinets are introduced with the phrase
-  ``\textsf{Several important properties of multinets are listed below which have been
-    collected from [4,10,12].}''. The referenced papers all use slightly different
-  definitions of multinets but they are assumed to be equivalent so that the properties
-  hold. In fact, in this paper (\cite{mnets-orig}) the assumption is made explicit --
-  although not proved -- from the start: ``\textsf{There are several equivalent ways to
-    define multinets. Here we present them using pencils of plane curves.}''
+\begin{example}\label{ex:mnets} \cite{mnets-orig} studies the properties of multinets. In
+the preliminaries section they are introduced with the following definition:
+  \begin{labeledquote}\sf \textbf{Definition 2.1} The union of all completely reducible
+fibers (with a fixed partition into fibers, also called blocks) of a Ceva pencil of degree
+$d$ is called a $(k, d)-\mathit{multinet}$ where $k$ is the number of the blocks. The base
+$X$ of the pencil is determined by the multinet structure and called the base of the
+multinet.
+  \end{labeledquote} Later in that section some properties of multinets are introduced
+with the phrase ``\textsf{Several important properties of multinets are listed below which
+have been collected from [4,10,12].}''. The referenced papers all use slightly different
+definitions of multinets but they are assumed to be equivalent so that the properties
+hold. In fact, in this paper (\cite{mnets-orig}) the assumption is made explicit --
+although not proved -- from the start: ``\textsf{There are several equivalent ways to
+define multinets. Here we present them using pencils of plane curves.}''
 \end{example}
 
 The next example is not from our 30 examples, since we want to show an even more complex
diff --git a/flatsearch/paper.pdf b/flatsearch/paper.pdf
index 3a336eb5f4f021d1b16b686aac740c55070fc25d..065f027714aa8bfa62ab6e4d35d426800386a742 100644
GIT binary patch
delta 179
zcmex3QS#$N$%Yoj7N!>F7M2#)Eo^H|8O^4zGi6ieG&is`Ff%nXG@O3RluZhW``45$
zLc>f!BP2CK!6&mURl&%>&{R_)yCAV7qc}BDp)9qiI5R&_!A#Fc&v1LK8QUFRXJa=P
tV?z^XXJa#C19KA>OJg&010xqF6ALFJV<QVA13Lv9LQ1yJabXK(0RU3mFtGpt

delta 179
zcmex3QS#$N$%Yoj7N!>F7M2#)Eo^H|8BM3JGi6ieG%+$av@|d@G@5?PluZhW``45$
zLc>%+BP2CK!6&mURl&%>&_q)qyCAV7qc}BDp)9qiI5R&_!A#Fc&tQA48QUFRXHz#5
tb4xQf7Yj=_3sVC}BO`M+6E{~QGYex=6C)=_BRd5fLQ1yJabXK(0RUTqF&_W`

-- 
GitLab