Sorry I didn't answer your mail until now. I was out of town for the last week. I'll probably spend the coming week just catching up with things, and will try to get MLton switched over to gmp3 by the end of the week after that. As soon as I have that stuff in I'll send you mail.