let string_of_revision r = Ocvs_messages.revision^": "^ (string_of_revision_number r.rev_number)^"\n"^ Ocvs_messages.date^": "^r.rev_date^"\n"^ Ocvs_messages.author^": "^r.rev_author^"\n"^ r.rev_comment