method newer_file_exists = let d = Ed_misc.mod_date_of_file filename in match date with None -> true | Some d2 -> d2 < d