]> Repositorios git - scryer-prolog.git/commit
ADDED: file_modification_time/2, obtaining a time stamp.
authorMarkus Triska <[email protected]>
Thu, 16 Jul 2020 20:56:10 +0000 (22:56 +0200)
committerMarkus Triska <[email protected]>
Thu, 16 Jul 2020 21:40:03 +0000 (23:40 +0200)
commit4f386b3e5e10b978196ea786a3e7cdbf73a41e1c
treefe190e34b1c5bdb1775601f6df0dfed7bdabb056
parent0f4667d94200f609023769a1138d7a7984715842
ADDED: file_modification_time/2, obtaining a time stamp.

This addresses a remaining aspect of #511.
src/clause_types.rs
src/lib/files.pl
src/machine/system_calls.rs