* Matthew Fluet: >> Is there a mailing list to which all CVS commits are forwarded? > > There isn't a mailing list, but recent commits are logged at > http://www.mlton.org/commitlog. > > Occassionally, commits of importance are forwarded to the main list. Now that MLton development has switched to Subversion, would it be possible to send commit notifications using mailer.py or something like that?