From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 17 Mar 2020 16:55:05 +0000 (-0300)
Subject: Merge pull request #293 from triska/documentation
X-Git-Tag: v0.8.119~32
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=121c8d8a48b630a426f749164d6694e6d1ac2559;p=scryer-prolog.git

Merge pull request #293 from triska/documentation

update toplevel interaction
---

121c8d8a48b630a426f749164d6694e6d1ac2559