When a file is read into a buffer its (the file's) time of last modification is recorded, this can later be used to see if the file (on disk) has been modified since it was loaded into a buffer.
See section File Information.
Go to the first, previous, next, last section, table of contents.