equal
deleted
inserted
replaced
16 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
16 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
17 |
17 |
18 % beamer stuff |
18 % beamer stuff |
19 \renewcommand{\slidecaption}{CFL 01, King's College London} |
19 \renewcommand{\slidecaption}{CFL 01, King's College London} |
20 |
20 |
|
21 %% https://cs.rit.edu/~hh/teaching/_media/cc18/lectures/lect1/main.pdf |
|
22 %% https://cs.rit.edu/~hh/teaching/_media/cc18/lectures/lect2/main.pdf |
|
23 %% https://cs.rit.edu/~hh/teaching/_media/cc18/lectures/lect3/main.pdf |
21 |
24 |
22 \begin{document} |
25 \begin{document} |
23 |
26 |
24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
27 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
25 \begin{frame}[t] |
28 \begin{frame}[t] |