From: Mark Thom Date: Wed, 25 Jan 2023 20:40:15 +0000 (+0100) Subject: Merge pull request #1703 from aarroyoc/docs-arithmetic X-Git-Tag: v0.9.2~217 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c709853aa7de6185b34122aed2b567b4cbbf63a0;p=scryer-prolog.git Merge pull request #1703 from aarroyoc/docs-arithmetic Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md --- c709853aa7de6185b34122aed2b567b4cbbf63a0