changeset 60768 | f47bd91fdc75 |
parent 59482 | 9b590e32646a |
child 61076 | bdc1e2f0a86a |
--- a/src/Doc/Codegen/Adaptation.thy Wed Jul 22 23:26:00 2015 +0200 +++ b/src/Doc/Codegen/Adaptation.thy Thu Jul 23 13:28:34 2015 +0200 @@ -70,7 +70,7 @@ Figure \ref{fig:adaptation} illustrates what \qt{adaptation} is conceptually supposed to be: - \begin{figure}[here] + \begin{figure}[h] \begin{tikzpicture}[scale = 0.5] \tikzstyle water=[color = blue, thick] \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]