contification paper

[Stephen Weeks]

> Here's an updated ctime.tex with line numbers for the benchmarks.

Great.

> I've got the executables for kit and mlton and I'll get their running
> times tonight.  Compile time of mlyacc as the running time for mlton?

Sure.

> I'll take a quick look at the edits of section 5 and add in the spacing
> tricks.  Then I think I'll send the changes back to you and let you hold
> onto the token for the entire paper for the rest of the evening.  

Sounds good.  For now, you have the token to section 5.

> I'll be online for a few more hours yet, if you want to discuss section 4.

Hopefully.