From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 17 Dec 2022 23:38:22 +0000 (+0100)
Subject: Merge pull request #1671 from aarroyoc/docs-iso-ext
X-Git-Tag: v0.9.2~245
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a2d46af5acbb6173650bd09b3baa21a2b7bf67d8;p=scryer-prolog.git

Merge pull request #1671 from aarroyoc/docs-iso-ext

Compatible Doclog docs for library(iso_ext)
---

a2d46af5acbb6173650bd09b3baa21a2b7bf67d8