diff -r d01568431081 -r 858f62bc930a slides/slides08.tex --- a/slides/slides08.tex Sat Oct 22 13:11:33 2016 +0100 +++ b/slides/slides08.tex Sat Oct 22 15:18:11 2016 +0100 @@ -5,7 +5,7 @@ \usepackage{../graphics} % beamer stuff -\renewcommand{\slidecaption}{AFL 07, King's College London} +\renewcommand{\slidecaption}{CFL 07, King's College London} \newcommand{\bl}[1]{\textcolor{blue}{#1}} \begin{document} @@ -15,7 +15,7 @@ \frametitle{% \begin{tabular}{@ {}c@ {}} \\[-3mm] - \LARGE Automata and \\[-2mm] + \LARGE Compilers and \\[-2mm] \LARGE Formal Languages (8)\\[3mm] \end{tabular}}