projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70552cd) | patch
Change `find-file' and friends to check file-modification-time when a
authorChris Hanson <org/chris-hanson/cph>
Wed, 26 Apr 1989 18:50:31 +0000 (18:50 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 26 Apr 1989 18:50:31 +0000 (18:50 +0000)
commitcef7a9016883f25a6e7a1452dad2a7f77cf75319
tree4a85ce12a208f175ab8786569802707be06f1866tree | snapshot
parent70552cde7cb6ffe968bb1493785454507cd79b74commit | diff
Change `find-file' and friends to check file-modification-time when a
buffer already exists for that file, and offer to revert the buffer if
the time is not consistent.
v7/src/edwin/filcom.scm diff | blob | history
v7/src/edwin/fileio.scm diff | blob | history
v7/src/edwin/make.scm diff | blob | history
v7/src/edwin/tagutl.scm diff | blob | history
MIT/GNU Scheme, Pucked