From: Mark Thom Date: Tue, 14 Apr 2020 17:29:40 +0000 (-0300) Subject: Merge pull request #348 from triska/master X-Git-Tag: v0.8.123~132^2~11^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2ac6596ba953a604f3a45638a2ea34996ebd4485;p=scryer-prolog.git Merge pull request #348 from triska/master update the toplevel description, incorporating the latest changes --- 2ac6596ba953a604f3a45638a2ea34996ebd4485