new release

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 4 Oct 2001 13:14:33 -0400 (EDT)


> Do y'all think it's worth going through one more round after Matthew check's in
> the new Makefiles?  Maybe there's hope for anonymous CVS?

I don't think it's worth it.  But, they're already checked in if you want
to do it.