--- 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}}