# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1534857185 -3600
# Node ID ed3169a567eab3d765f86ab1698f6417d97b233f
# Parent  807acaf7f5998328898ecea0cda010775cd14d34
updated

diff -r 807acaf7f599 -r ed3169a567ea text/proposal.pdf
Binary file text/proposal.pdf has changed
diff -r 807acaf7f599 -r ed3169a567ea text/proposal.tex
--- a/text/proposal.tex	Sat Aug 18 01:54:44 2018 +0100
+++ b/text/proposal.tex	Tue Aug 21 14:13:05 2018 +0100
@@ -53,7 +53,7 @@
 26  6.63998
 27  13.35120
 28  29.81185
-\end{filecontents}
+\end{filecontents} 
 
 \begin{filecontents}{re-java9.data}
 1000  0.01410