contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 13 Mar 2001 21:52:15 -0500 (EST)


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

grr...  TeX treats \hline and \cline differently, so
\cline{1-19}\cline{1-19} doesn't give you a double rule the way
\hline\hlie does.  Anyone know a hack around this?