equal
  deleted
  inserted
  replaced
  
    
    
|     32 \makeatother |     32 \makeatother | 
|     33  |     33  | 
|     34 \lstset{morekeywords={def,if,then,else,write,read},keywordstyle=\color{codepurple}\bfseries} |     34 \lstset{morekeywords={def,if,then,else,write,read},keywordstyle=\color{codepurple}\bfseries} | 
|     35  |     35  | 
|     36 % beamer stuff |     36 % beamer stuff | 
|     37 \renewcommand{\slidecaption}{AFL 09, King's College London} |     37 \renewcommand{\slidecaption}{CFL 09, King's College London} | 
|     38 \newcommand{\bl}[1]{\textcolor{blue}{#1}}        |     38 \newcommand{\bl}[1]{\textcolor{blue}{#1}}        | 
|     39  |     39  | 
|     40  |     40  | 
|     41 \begin{document} |     41 \begin{document} | 
|     42  |     42  | 
|     43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |     43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | 
|     44 \begin{frame}[t] |     44 \begin{frame}[t] | 
|     45 \frametitle{% |     45 \frametitle{% | 
|     46   \begin{tabular}{@ {}c@ {}} |     46   \begin{tabular}{@ {}c@ {}} | 
|     47   \\[-3mm] |     47   \\[-3mm] | 
|     48   \LARGE Automata and \\[-2mm]  |     48   \LARGE Compilers and \\[-2mm]  | 
|     49   \LARGE Formal Languages (9)\\[3mm]  |     49   \LARGE Formal Languages (9)\\[3mm]  | 
|     50   \end{tabular}} |     50   \end{tabular}} | 
|     51  |     51  | 
|     52   \normalsize |     52   \normalsize | 
|     53   \begin{center} |     53   \begin{center} |