slides/slides06.tex
changeset 445 e7d0157f0471
parent 368 a9911966c0df
child 465 b5e1cfaf3319
--- a/slides/slides06.tex	Fri Oct 07 22:08:03 2016 +0100
+++ b/slides/slides06.tex	Sat Oct 08 13:45:30 2016 +0100
@@ -6,7 +6,9 @@
 
 
 % beamer stuff 
-\renewcommand{\slidecaption}{AFL 06, King's College London}
+\renewcommand{\slidecaption}{CFL 06, King's College London}
+
+
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 %\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 \newcommand{\qq}{\mbox{\texttt{"}}}
@@ -18,7 +20,7 @@
 \frametitle{%
   \begin{tabular}{@ {}c@ {}}
   \\[-3mm]
-  \LARGE Automata and \\[-2mm] 
+  \LARGE Compilers and \\[-2mm] 
   \LARGE Formal Languages (6)\\[3mm] 
   \end{tabular}}