moving to SourceForge

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 5 Apr 2002 07:01:56 -0500 (EST)


> Unless we hear anything damning from Suresh, I think that sometime
> tomorrow, we should freeze our CVS and do the switch to SourceForge.
> The only downside that I have been convinced of is its potential
> disappearance, and I don't think that would be too painful (especially
> with CVS backups and mlton.org redirection).

Fine by me.  I've got no outstanding modifications.