Changeset 1797 for Deliverables/D1.2/CompilerProofOutline
- Timestamp:
- Feb 29, 2012, 2:03:54 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D1.2/CompilerProofOutline/outline.tex
r1796 r1797 1185 1185 The result is shown in Table~\ref{table}. 1186 1186 1187 \begin{table} {h}1187 \begin{table} 1188 1188 \begin{center} 1189 1189 \begin{tabular}{lrlrr} … … 1192 1192 \hline 1193 1193 Common & 4864 & 4.25 \permil & 20.67 & 17.0 \\ 1194 C minor& 1057 & 5.23 \permil & 5.53 & 6.0 \\1195 C light& 1856 & 5.23 \permil & 9.71 & 10.0 \\1194 Clight & 1057 & 5.23 \permil & 5.53 & 6.0 \\ 1195 Cminor & 1856 & 5.23 \permil & 9.71 & 10.0 \\ 1196 1196 RTLabs & 1252 & 1.17 \permil & 1.48 & 5.0 \\ 1197 1197 RTL & 469 & 4.17 \permil & 1.95 & 2.0 \\
Note: See TracChangeset
for help on using the changeset viewer.