From: Mark Thom Date: Mon, 28 Apr 2025 05:03:14 +0000 (-0700) Subject: Merge branch 'exposed_provenance' of https://github.com/bakaq/scryer-prolog into... X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e5dff4e0f62d4a290c7419a778e370d6ec243f57;p=scryer-prolog.git Merge branch 'exposed_provenance' of https://github.com/bakaq/scryer-prolog into bakaq-exposed_provenance --- e5dff4e0f62d4a290c7419a778e370d6ec243f57