added cvs-style version, source, and date tags