From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 13 Jan 2023 06:50:17 +0000 (+0100)
Subject: Merge pull request #1677 from aarroyoc/docs-dif
X-Git-Tag: v0.9.2~236
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a80aab48cd3d48e91d93d2cdf0171cac45b21363;p=scryer-prolog.git

Merge pull request #1677 from aarroyoc/docs-dif

Compatible Doclog docs for library(dif)
---

a80aab48cd3d48e91d93d2cdf0171cac45b21363