MLton 20051202 Released

Hi.  I would like to request an addition to the Languages and Tools
section of your web site.  Thanks.

New release of the <a href = "http://mlton.org">MLton</a> Standard
ML compiler.

Version 20051202 of MLton has been released.  MLton is now under the
BSD license, not the GPL.  There is substantially improved
documentation, based on the MLton wiki.  We have added new platforms:
x86/MinGW and HPPA/Linux.  There are improvements to the FFI, ML Basis
annotations, and new libraries: the ckit and SML/NJ library.

MLton is a whole-program optimizing compiler for Standard ML that runs
on a variety of platforms.  It generates standalone executables with
excellent runtime performance, supports the full SML 97 language, and
has a complete basis library.  It has support for source-level time
and allocation profiling, a fast C FFI, and lots of useful libraries,
including a fast implementation of IntInf based on the GNU
multiprecision library.

For more details, please visit mlton.org.