From: Mark Thom Date: Sun, 21 Nov 2021 20:27:17 +0000 (-0500) Subject: Merge pull request #1100 from aarroyoc/phrase-to-file-options X-Git-Tag: v0.9.0~26 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=eaad2d8b1fbc174874edef909aeefbdb8cfe2a7e;p=scryer-prolog.git Merge pull request #1100 from aarroyoc/phrase-to-file-options Add phrase_to_file/3 (phrase_to_file with Options) --- eaad2d8b1fbc174874edef909aeefbdb8cfe2a7e