Changeset 1797


Ignore:
Timestamp:
Feb 29, 2012, 2:03:54 PM (7 years ago)
Author:
mulligan
Message:

implemented brian's changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1796 r1797  
    11851185The result is shown in Table~\ref{table}.
    11861186
    1187 \begin{table}{h}
     1187\begin{table}
    11881188\begin{center}
    11891189\begin{tabular}{lrlrr}
     
    11921192\hline
    11931193Common &  4864 & 4.25 \permil & 20.67 & 17.0 \\
    1194 Cminor &  1057 & 5.23 \permil & 5.53  &  6.0 \\
    1195 Clight &  1856 & 5.23 \permil & 9.71  & 10.0 \\
     1194Clight &  1057 & 5.23 \permil & 5.53  &  6.0 \\
     1195Cminor &  1856 & 5.23 \permil & 9.71  & 10.0 \\
    11961196RTLabs &  1252 & 1.17 \permil & 1.48  &  5.0 \\
    11971197RTL    &   469 & 4.17 \permil & 1.95  &  2.0 \\
Note: See TracChangeset for help on using the changeset viewer.