diff -r 0629590fd299 -r 43e44a4871de slides/slides08.tex --- a/slides/slides08.tex Fri Nov 21 14:35:56 2014 +0000 +++ b/slides/slides08.tex Fri Nov 21 14:40:11 2014 +0000 @@ -373,17 +373,15 @@ zeros?\bigskip \begin{bubble}[10cm] -\begin{tabular}{l} \footnotesize\code{h("Hello, world!0") =}\\ -\;\;\scriptsize\code{1312af178c253f84028d480a6adc1e25e81caa44c749ec81976192e2ec934c64}\\ +\;\;\scriptsize\pcode{1312af178c253f84028d480a6adc1e25e81caa44c749ec81976192e2ec934c64}\\ \pause \footnotesize\code{h("Hello, world!1") =}\\ -\;\;\scriptsize\code{e9afc424b79e4f6ab42d99c81156d3a17228d6e1eef4139be78e948a9332a7d8}\\ +\;\;\scriptsize\pcode{e9afc424b79e4f6ab42d99c81156d3a17228d6e1eef4139be78e948a9332a7d8}\\ \pause \ldots\\ \footnotesize\code{h("Hello, world!4250") =}\\ -\;\;\scriptsize\code{0000c3af42fc31103f1fdc0151fa747ff87349a4714df7cc52ea464e12dcd4e9} -\end{tabular} +\;\;\scriptsize\pcode{0000c3af42fc31103f1fdc0151fa747ff87349a4714df7cc52ea464e12dcd4e9} \end{bubble} \end{frame}