From: Mark Thom Date: Thu, 12 May 2022 04:32:09 +0000 (-0600) Subject: Merge pull request #1467 from euanlacy/master X-Git-Tag: v0.9.1~34 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bfbafd4168eb87c10fd3b8ab95856369ee14cb5b;p=scryer-prolog.git Merge pull request #1467 from euanlacy/master Completion of predicates in repl --- bfbafd4168eb87c10fd3b8ab95856369ee14cb5b