From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 19 Apr 2020 17:29:09 +0000 (-0300)
Subject: Merge pull request #367 from triska/master
X-Git-Tag: v0.8.123~124
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2c92be5e3df807e6da15a48ba396caccd7e37a79;p=scryer-prolog.git

Merge pull request #367 from triska/master

ADDED: library(time), providing time/1 for benchmarking
---

2c92be5e3df807e6da15a48ba396caccd7e37a79