From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 31 Jul 2020 21:19:12 +0000 (-0300)
Subject: Merge pull request #647 from notoria/newline
X-Git-Tag: v0.8.127~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=357ae7a8aab989a07b60a7d01edf657ed791f60f;p=scryer-prolog.git

Merge pull request #647 from notoria/newline

Improved readline
---

357ae7a8aab989a07b60a7d01edf657ed791f60f