From: Mark Thom Date: Tue, 21 Nov 2023 22:04:26 +0000 (+0100) Subject: Merge pull request #1999 from triska/time_inferences X-Git-Tag: v0.9.4~107 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=041ec06dbc2ab0307d425a5f55392c623fe22e05;p=scryer-prolog.git Merge pull request #1999 from triska/time_inferences ENHANCED: time/1 now shows the number of inferences --- 041ec06dbc2ab0307d425a5f55392c623fe22e05