[MLton] Mirror of mail archive

Stephen Weeks MLton@mlton.org
Tue, 25 Jan 2005 18:47:44 -0800


> How can I download this mbox you mention?
> Also, is there one for mlton-user?

I sent you a (temporarily operational) URL for both by private email.

For my own edification, could you explain what's wrong with headers
provided by pipermail?