let dump_cvs_info ci =
print_string
("{ cvs_file = \""^ci.cvs_file^"\" ;\n"^
" cvs_status = "^(string_of_status ci.cvs_status)^" ;\n"^
" cvs_work_rev = \""^ci.cvs_work_rev^"\" ;\n"^
" cvs_rep_rev = \""^ci.cvs_rep_rev^"\" ;\n"^
" cvs_date_string = "^ci.cvs_date_string^" ;\n"^
" cvs_date = "^(string_of_float ci.cvs_date)^" ;\n"^
"}\n"
)