diff -r 8eb3261294ba -r c7890e677e06 slides/slides04.tex --- a/slides/slides04.tex Mon Oct 13 06:26:30 2014 +0100 +++ b/slides/slides04.tex Mon Oct 13 06:28:27 2014 +0100 @@ -525,7 +525,7 @@ \begin{itemize} \item Longest match rule (``maximal munch rule''): The longest initial substring matched by any regular expression is taken -as next token.\bigskip +as the next token.\bigskip \item Rule priority: For a particular longest initial substring, the first regular