comments

Stephen Weeks MLton@sourcelight.com
Wed, 14 Mar 2001 16:43:19 -0800 (PST)


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