4.36 File System Interaction
All Application Manual Name SummaryHelp

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-51-ga0b30a5)