equal
deleted
inserted
replaced
30 } |
30 } |
31 \makeatother |
31 \makeatother |
32 |
32 |
33 |
33 |
34 % beamer stuff |
34 % beamer stuff |
35 \renewcommand{\slidecaption}{AFL 10, King's College London} |
35 \renewcommand{\slidecaption}{CFL 10, King's College London} |
36 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
36 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
37 |
37 |
38 |
38 |
39 \begin{document} |
39 \begin{document} |
40 |
40 |
41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
41 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
42 \begin{frame}[t] |
42 \begin{frame}[t] |
43 \frametitle{% |
43 \frametitle{% |
44 \begin{tabular}{@ {}c@ {}} |
44 \begin{tabular}{@ {}c@ {}} |
45 \\[-3mm] |
45 \\[-3mm] |
46 \LARGE Automata and \\[-2mm] |
46 \LARGE Compilers and \\[-2mm] |
47 \LARGE Formal Languages (10)\\[3mm] |
47 \LARGE Formal Languages (10)\\[3mm] |
48 \end{tabular}} |
48 \end{tabular}} |
49 |
49 |
50 \normalsize |
50 \normalsize |
51 \begin{center} |
51 \begin{center} |