release

Henry Cejtin henry@sourcelight.com
Fri, 5 Oct 2001 18:46:31 -0500


Sorry: I thought that there was a bug you said you introduced.  Perhaps that
wasn't relevant to the release.  Is the mlton-home.tgz I downloaded around
3:45 P.M. central time ok for release as far as you know?