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