From: Mark Thom Date: Tue, 22 Dec 2020 22:39:17 +0000 (-0700) Subject: Merge pull request #740 from triska/indexing X-Git-Tag: v0.9.0~164 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d290596c1d7104a938e56d0023b0bda2e5b8174d;p=scryer-prolog.git Merge pull request #740 from triska/indexing small documentation improvements related to the new indexing strategy --- d290596c1d7104a938e56d0023b0bda2e5b8174d