From: Mark Thom Date: Sun, 26 Apr 2020 20:20:58 +0000 (-0300) Subject: Merge pull request #405 from triska/master X-Git-Tag: v0.8.123~108^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4b0f60fe71bea15fcb27bb139bdc5857876c626b;p=scryer-prolog.git Merge pull request #405 from triska/master Two small documentation additions --- 4b0f60fe71bea15fcb27bb139bdc5857876c626b