equal
deleted
inserted
replaced
3 \usepackage{../langs} |
3 \usepackage{../langs} |
4 \usepackage{../data} |
4 \usepackage{../data} |
5 \usepackage{../graphics} |
5 \usepackage{../graphics} |
6 |
6 |
7 % beamer stuff |
7 % beamer stuff |
8 \renewcommand{\slidecaption}{AFL 07, King's College London} |
8 \renewcommand{\slidecaption}{CFL 07, King's College London} |
9 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
9 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
10 |
10 |
11 \begin{document} |
11 \begin{document} |
12 |
12 |
13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
14 \begin{frame}[t] |
14 \begin{frame}[t] |
15 \frametitle{% |
15 \frametitle{% |
16 \begin{tabular}{@ {}c@ {}} |
16 \begin{tabular}{@ {}c@ {}} |
17 \\[-3mm] |
17 \\[-3mm] |
18 \LARGE Automata and \\[-2mm] |
18 \LARGE Compilers and \\[-2mm] |
19 \LARGE Formal Languages (8)\\[3mm] |
19 \LARGE Formal Languages (8)\\[3mm] |
20 \end{tabular}} |
20 \end{tabular}} |
21 |
21 |
22 \normalsize |
22 \normalsize |
23 \begin{center} |
23 \begin{center} |