--- a/slides/slides07.tex	Thu Oct 13 13:13:27 2016 +0100
+++ b/slides/slides07.tex	Sat Oct 15 14:27:01 2016 +0100
@@ -6,7 +6,7 @@
 
 
 % beamer stuff 
-\renewcommand{\slidecaption}{AFL 07, King's College London}
+\renewcommand{\slidecaption}{CFL 07, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 
@@ -17,7 +17,7 @@
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
-  \LARGE Automata and \\[-2mm] 
+  \LARGE Compilers and \\[-2mm] 
   \LARGE Formal Languages (7)\\[3mm] 
   \end{tabular}}