I'm going the switch over now, but I see that mail for MLton.org is being handled by yahoo.com??? What is that? _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel