CVS messages for Docs

    June 18, 2007