diff -r 3b81c582c1f0 -r 4782a4bfc888 slides/slides04.tex --- a/slides/slides04.tex Tue Oct 16 08:29:49 2018 +0100 +++ b/slides/slides04.tex Tue Oct 16 14:40:30 2018 +0100 @@ -665,7 +665,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame}[c] -\frametitle{Sulzmann Matcher} +\frametitle{Sulzmann \& Lu Matcher} We want to match the string \bl{$abc$} using \bl{$r_1$}: