slides/slides11.tex
changeset 458 896a5f91838d
parent 389 71c405056d3a
child 471 9476086849ad
--- 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}}