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