
diff -r 028816884f70 -r 84d6714840c9 slides/slides01.tex
--- a/slides/slides01.tex	Tue Oct 04 14:30:08 2016 +0100
+++ b/slides/slides01.tex	Tue Oct 04 14:54:20 2016 +0100
@@ -233,8 +233,8 @@
     x label style={at={(1.07,0.0)}},
     ylabel={time in secs},
     enlargelimits=false,
-    xtick={0,4000,...,12000},
-    xmax=13000,
+    xtick={0,5000,...,10000},
+    xmax=11000,
     ymax=35,
     ytick={0,5,...,30},
     scaled ticks=false,




