From: Mark Thom Date: Wed, 10 Feb 2021 00:57:08 +0000 (-0700) Subject: Merge pull request #813 from triska/rebis-dev X-Git-Tag: v0.9.0~150^2~61 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ce8490ed4173e51e3a6826b5dab3e9fc772ac680;p=scryer-prolog.git Merge pull request #813 from triska/rebis-dev ~| now incorporates the number of characters described so far --- ce8490ed4173e51e3a6826b5dab3e9fc772ac680