
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$}:
 




