Tagged release. ---------------------------------------------------------------------- A mlton/tags/on-20051202-release/ ---------------------------------------------------------------------- Copied: mlton/tags/on-20051202-release (from rev 4285, mlton/trunk)