# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348645787 -3600
# Node ID 0da19c346e240418ab9946278562a61c9c43c939
# Parent  f3d92595abe794dd2210487e73cc08b19fb486b4
tuned

diff -r f3d92595abe7 -r 0da19c346e24 slides01.pdf
Binary file slides01.pdf has changed
diff -r f3d92595abe7 -r 0da19c346e24 slides01.tex
--- a/slides01.tex	Wed Sep 26 08:49:24 2012 +0100
+++ b/slides01.tex	Wed Sep 26 08:49:47 2012 +0100
@@ -502,7 +502,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{\begin{tabular}{c}The Matcher\end{tabular}}
+\frametitle{\begin{tabular}{c}The Rexp Matcher\end{tabular}}
 
 
 {\lstset{language=Scala}\fontsize{8}{10}\selectfont