method
update_date =
date <-
Some
(
Ed_misc
.mod_date_of_file filename)