equal
deleted
inserted
replaced
57 text {* |
57 text {* |
58 Figure \ref{fig:adaption} illustrates what \qt{adaption} is conceptually |
58 Figure \ref{fig:adaption} illustrates what \qt{adaption} is conceptually |
59 supposed to be: |
59 supposed to be: |
60 |
60 |
61 \begin{figure}[here] |
61 \begin{figure}[here] |
62 \includegraphics{Thy/pictures/adaption} |
62 \includegraphics{adaption} |
63 \caption{The adaption principle} |
63 \caption{The adaption principle} |
64 \label{fig:adaption} |
64 \label{fig:adaption} |
65 \end{figure} |
65 \end{figure} |
66 |
66 |
67 \noindent In the tame view, code generation acts as broker between |
67 \noindent In the tame view, code generation acts as broker between |