|
@@ -1867,7 +1867,8 @@ $L_{\mathtt{after}}$ set.
|
|
|
\label{fig:live-eg}
|
|
\label{fig:live-eg}
|
|
|
\end{figure}
|
|
\end{figure}
|
|
|
\marginpar{This doesn't quite agree with the instructor solution. The
|
|
\marginpar{This doesn't quite agree with the instructor solution. The
|
|
|
-annotations appear in the actual {\tt program} wrapper.}
|
|
|
|
|
|
|
+ annotations appear in the actual {\tt program} wrapper. Perhaps consider
|
|
|
|
|
+ clarifying why the annotations appear to the right of each instruction.}
|
|
|
|
|
|
|
|
|
|
|
|
|
\begin{exercise}\normalfont
|
|
\begin{exercise}\normalfont
|
Carl Factora