Polyspace and a MLton cross-compiler

[Stephen Weeks]

I am pleased to announce that I have reached a consulting agreement
(in principle) with Alain Deutsch and Polyspace technologies
(http://www.polyspace.com/) to incorporate all of their changes to
MLton (they currently use 20000906) into the mainline MLton branch and
to turn MLton into a cross-compiler for Windows NT/2000.  I will be
starting work on this immediately and plan to have a working
cross-compiler for them by mid-March.