new release

Stephen Weeks
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
examples/ directory.