# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1348743765 -3600
# Node ID 5751a3ee41ce1a58b5daca7e6f2eb6204b782268
# Parent  73cf4406b7738b510f15afe5d83bbff2f8b4ff8c
tuned

diff -r 73cf4406b773 -r 5751a3ee41ce slides01.pdf
Binary file slides01.pdf has changed
diff -r 73cf4406b773 -r 5751a3ee41ce slides01.tex
--- a/slides01.tex	Thu Sep 27 11:59:41 2012 +0100
+++ b/slides01.tex	Thu Sep 27 12:02:45 2012 +0100
@@ -419,7 +419,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{\begin{tabular}{c}The Meaning of a Matching\end{tabular}}
+\frametitle{\begin{tabular}{c}The Meaning of Matching\end{tabular}}
 
 \large
 a regular expression \bl{r} matches a string \bl{s} is defined as