final pre release?

Matthew Fluet mfluet@intertrust.com
Fri, 6 Jul 2001 08:41:19 -0700 (PDT) 

> This snapshot will be the release unless there are comments.

Looks good to me.