From: Mark Thom Date: Sat, 2 May 2020 00:45:03 +0000 (-0300) Subject: Merge pull request #439 from notoria/cli2 X-Git-Tag: v0.8.123~75 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=46cdf14ecc56133fecb99d33f7d021def62758f9;p=scryer-prolog.git Merge pull request #439 from notoria/cli2 Enhanced command line? --- 46cdf14ecc56133fecb99d33f7d021def62758f9