diff -r d6af4b1239de -r b018234c9126 slides/slides07.tex --- a/slides/slides07.tex Tue Nov 17 01:58:50 2015 +0000 +++ b/slides/slides07.tex Tue Nov 17 04:02:08 2015 +0000 @@ -581,9 +581,8 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\mode{ \begin{frame}[t] -\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}} +\frametitle{Compiling Whiles} {\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip @@ -615,14 +614,12 @@ \end{tikzpicture} \end{center} - -\end{frame}} +\end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\mode{ \begin{frame}[t] -\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}} +\frametitle{Compiling Whiles} {\Large\bl{while $b$ do $cs$}} @@ -640,7 +637,7 @@ \end{tabular}} \end{center} -\end{frame}} +\end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%