proper latex;
authorwenzelm
Thu Jul 23 13:28:34 2015 +0200 (2015-07-23)
changeset 60768f47bd91fdc75
parent 60767 ad5b4771fc19
child 60769 cf7f3465eaf1
proper latex;
src/Doc/Codegen/Adaptation.thy
     1.1 --- a/src/Doc/Codegen/Adaptation.thy	Wed Jul 22 23:26:00 2015 +0200
     1.2 +++ b/src/Doc/Codegen/Adaptation.thy	Thu Jul 23 13:28:34 2015 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4    Figure \ref{fig:adaptation} illustrates what \qt{adaptation} is
     1.5    conceptually supposed to be:
     1.6  
     1.7 -  \begin{figure}[here]
     1.8 +  \begin{figure}[h]
     1.9      \begin{tikzpicture}[scale = 0.5]
    1.10        \tikzstyle water=[color = blue, thick]
    1.11        \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]