diff -r 85586bada20a -r d01568431081 slides/slides11.tex --- a/slides/slides11.tex Wed Oct 19 08:46:50 2016 +0100 +++ b/slides/slides11.tex Sat Oct 22 13:11:33 2016 +0100 @@ -7,7 +7,7 @@ % beamer stuff -\renewcommand{\slidecaption}{AFL, King's College London} +\renewcommand{\slidecaption}{CFL, King's College London} \newcommand{\bl}[1]{\textcolor{blue}{#1}} @@ -18,7 +18,7 @@ \frametitle{% \begin{tabular}{@ {}c@ {}} \\[-3mm] - \LARGE Automata and \\[-2mm] + \LARGE Compilers and \\[-2mm] \LARGE Formal Languages\\[3mm] \end{tabular}}