[MLton-user] Thanks !

[Stephen Weeks]

> Without thinking, I'd used a  Windows-style archiving tool
> (PowerArchiver in this case) to extract the contents of the archive
> instead of using tar through bash.
...
> I can understand why my edit to the mlton.org wiki Installation page
> was cleared away, but perhaps at least a small note reminding Windows
> users to extract the tgz using tar from within bash (and not a
> Windows-native archiving program) would be in order?

Sure.  I've added a note.  I'm glad it was something simple and that
everything now works.