comments

[Matthew Fluet]

> > Ah, I was just looking in the TeX in the mail and it might have been a macro
> > name which expands to MLton.  Sorry.
> 
> Yes, {\mlton} expands to MLton.

There is also the benchmark name, which I left as lowercase, just for
uniformity with the other benchmarks.

So, I just got back and pulled down the snapshot.  What's best for me to
look at?  I'll try putting together a code size table for right now.