From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 1 Mar 2021 18:45:53 +0000 (-0700)
Subject: Merge pull request #845 from triska/master
X-Git-Tag: v0.9.0~145
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d32d452583df08fd0ffa861e2d034be59b23276b;p=scryer-prolog.git

Merge pull request #845 from triska/master

explain the new occurs_check flag
---

d32d452583df08fd0ffa861e2d034be59b23276b