diff -r dbb0f7d2a33d -r 19de761b69e9 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$}: