From: Mark Thom Date: Fri, 19 Jan 2024 17:18:59 +0000 (-0700) Subject: Merge pull request #2301 from aarroyoc/docs-copy-term-3 X-Git-Tag: v0.9.4~26 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=58cd0d166964bb5fb7bc5c7653106e3dd6e58fe0;p=scryer-prolog.git Merge pull request #2301 from aarroyoc/docs-copy-term-3 Move copy_term/3 to library(iso_ext) --- 58cd0d166964bb5fb7bc5c7653106e3dd6e58fe0