diff -r 3056a4c071b0 -r e7d0157f0471 slides/slides06.tex --- 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}}