So I downloaded the cvs snapshot referenced from the new wiki. It seems to be a copy of the repository, and not a checkout.(files are .v ) with all sorts of version information. Just a FYI. -- Nathanael D. Noblet <nathanael at gnat.ca> Gnat Solutions