4.36 File System Interaction
AllApplicationManualNameSummaryHelp

Availability:built-in
time_file(+File, -Time)
Unify the last modification time of File with Time. Time is a floating point number expressing the seconds elapsed since Jan 1, 1970. See also convert_time/[2,8] and get_time/1.
ClioPatria (version V3.1.1-40-g9d9e003)