From: Mark Thom Date: Mon, 23 Jan 2023 04:04:55 +0000 (-0700) Subject: Merge branch 'retract_improvements' X-Git-Tag: v0.9.2~228 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4ed36a12e927d85a8e5e0992d18cddb16330ecc5;p=scryer-prolog.git Merge branch 'retract_improvements' --- 4ed36a12e927d85a8e5e0992d18cddb16330ecc5