equal
deleted
inserted
replaced
181 \draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
181 \draw (0,0) node[inner sep=2mm,fill=cream, ultra thick, draw=red, rounded corners=2mm] |
182 {\normalsize |
182 {\normalsize |
183 \begin{minipage}{11cm} |
183 \begin{minipage}{11cm} |
184 \begin{quote}\rm |
184 \begin{quote}\rm |
185 \begin{itemize} |
185 \begin{itemize} |
186 \item is a fantastic model of low-level code |
186 \item TMs are a fantastic model of low-level code |
187 \item completely unstructured\makebox[0mm][10mm]{\mbox{}}\;\; |
187 \item completely unstructured\makebox[0mm][10mm]{\mbox{}}\;\; |
188 \only<2>{\textcolor{cream}{\fontspec{Chalkduster}Spaghetti Code}}% |
188 \only<2>{\textcolor{cream}{\fontspec{Chalkduster}Spaghetti Code}}% |
189 \only<3->{\textcolor{red}{\fontspec{Chalkduster}Spaghetti Code}} |
189 \only<3->{\textcolor{red}{\fontspec{Chalkduster}Spaghetti Code}} |
190 \bigskip |
190 \bigskip |
191 \item good testbed for verification techniques |
191 \item good testbed for verification techniques |