[MLton-devel] (no subject)

[Henry Cejtin]

The  old  MLton site is gone.  The only web pages still functioning there are
http://sourcelight.com/MLton/ which puts up the message about  the  move  and
then moves you in 15 seconds, and stuff under
    http://sourcelight.com/MLton/People/suresh/
so Suresh still has a place to put his home directory.

Try  it out in different browsers to make sure that it works for you and tell
me if there is something you don't like.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel