From: notoria <notoria@users.noreply.github.com>
Date: Sat, 18 Apr 2020 16:51:37 +0000 (+0200)
Subject: Merge pull request #2 from triska/get_single_char
X-Git-Tag: v0.8.123~132^2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6996ca832d1b9b8f717ce402dc9861add2119017;p=scryer-prolog.git

Merge pull request #2 from triska/get_single_char

New feature: RET can now be used as a synonym for "." in the interaction
---

6996ca832d1b9b8f717ce402dc9861add2119017