From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 26 Jan 2023 01:02:01 +0000 (+0100)
Subject: Merge pull request #1713 from triska/simplex_doc
X-Git-Tag: v0.9.2~215
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d399b68d01b340ee5a435e09f1363426bce8b026;p=scryer-prolog.git

Merge pull request #1713 from triska/simplex_doc

DOC: convert library(simplex) documentation to DocLog format
---

d399b68d01b340ee5a435e09f1363426bce8b026