I've certainly been sending everything to xxx@mlton.org, since I figured that that was a more reasonable permanent address, but it has all been to just MLton. Weird. _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel