contification paper

[Stephen Weeks]

> 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.