From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 3 Jul 2023 19:53:41 +0000 (-0600)
Subject: Merge pull request #1850 from mthom/iso-conformity-tests
X-Git-Tag: v0.9.2~95
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=42274ef3aecec1a6564c5dae5035b71f1528e8a5;p=scryer-prolog.git

Merge pull request #1850 from mthom/iso-conformity-tests

Automate ISO syntax conformity tests
---

42274ef3aecec1a6564c5dae5035b71f1528e8a5