From: Mark Thom Date: Sat, 25 Jul 2020 16:20:45 +0000 (-0300) Subject: Merge pull request #639 from triska/flush_output X-Git-Tag: v0.8.127~4 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=320802633fe316698ac1c9ae1c932e722f373575;p=scryer-prolog.git Merge pull request #639 from triska/flush_output ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.) --- 320802633fe316698ac1c9ae1c932e722f373575