
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




