# HG changeset patch # User Cezary Kaliszyk # Date 1270101961 -7200 # Node ID 925a5e9aa8323723dac83528b266396042e33313 # Parent 3f78dc600dce5d50bbdf40d0094d6bd9c067ef78 Fill the space below the figure. diff -r 3f78dc600dce -r 925a5e9aa832 Paper/Paper.thy --- a/Paper/Paper.thy Thu Apr 01 06:47:37 2010 +0200 +++ b/Paper/Paper.thy Thu Apr 01 08:06:01 2010 +0200 @@ -1641,7 +1641,7 @@ text {* - \begin{figure} + \begin{figure}[t!] \begin{boxedminipage}{\linewidth} \small \begin{tabular}{l}