From: Mark Thom Date: Sat, 10 Dec 2022 17:08:45 +0000 (+0100) Subject: Merge pull request #1656 from aarroyoc/docs-ordsets X-Git-Tag: v0.9.2~255 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0d404ad374b3decf05786018cc14d3490740cd19;p=scryer-prolog.git Merge pull request #1656 from aarroyoc/docs-ordsets Compatible Doclog docs for library(ordsets) --- 0d404ad374b3decf05786018cc14d3490740cd19