> What is out of sync in the documentation on the new RPMs? Some of the command line switches. Some basis library stuff. > Also, did the > *.cm thing make it into the mlton compiler stuff? Yes. It's now all part of the usual build. mlton.sml is no longer part of the sources. However, mlton.c is, since people still need a way to get an initial version of MLton.