Mon, 3 Jul 2000 22:00:23 -0700 (PDT)
> I'm grabbing it now. I'll mail you a scrip to make the RPMs. I figure I'll
> make them so that they install in /usr/local some where by default.
How about the same place as the tarfile I sent you last week?
for the script: /usr/local/bin/mlton
for the support: /usr/local/lib/mlton/
Also, one thing I'd like y'all to look at in particular is the new
MLton structure in the basis library and the thread examples in the