[MLton] release date

Stephen Weeks MLton@mlton.org
Tue, 15 Nov 2005 15:52:09 -0800

Too much is going on (documentation, time profiling bug, windows
packaging) to release on 20051116.  I am traveling November 17-25, and
so won't be working on MLton much, and certainly won't be packaging
things.  So, I propose to push things back two weeks, giving us a
target release date of 20051130.

Let's keep working hard on the wiki docs, and try to resolve the other
stuff too.