equal
deleted
inserted
replaced
500 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
500 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
501 |
501 |
502 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
502 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
503 \mode<presentation>{ |
503 \mode<presentation>{ |
504 \begin{frame}[c] |
504 \begin{frame}[c] |
505 \frametitle{\begin{tabular}{c}The Matcher\end{tabular}} |
505 \frametitle{\begin{tabular}{c}The Rexp Matcher\end{tabular}} |
506 |
506 |
507 |
507 |
508 {\lstset{language=Scala}\fontsize{8}{10}\selectfont |
508 {\lstset{language=Scala}\fontsize{8}{10}\selectfont |
509 \texttt{\lstinputlisting{app7.scala}}} |
509 \texttt{\lstinputlisting{app7.scala}}} |
510 |
510 |