contification paper
Stephen Weeks
MLton@sourcelight.com
Tue, 13 Mar 2001 18:44:45 -0800 (PST)
> Change the tabular declaration to be like this for right justification:
>
> \tabBegins
> \small
> \centering
> \setlength{\tabcolsep}{0.5\tabcolsep}
> \begin{tabular}{|c||r@{/}rr@{/}rr@{/}r
> |r@{/}rr@{/}rr@{/}r
> |r@{/}rr@{/}rr@{/}r
> |r@{/}rr@{/}rr@{/}r|}
> \hline
> \input{ctimeCounts}
> \end{tabular}
> \tabEnds{Compilation Statistics}{compile-time}
>
Looks much better. The only problem I see is that the third row of benchmarks
doesn't have a double line under the column headings.