From: Mark Thom Date: Tue, 2 Dec 2025 07:24:46 +0000 (-0700) Subject: Merge pull request #3147 from jjtolton/error-termination-flag X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=652e824e59e34779597c9977b3579fdef55b9fd1;p=scryer-prolog.git Merge pull request #3147 from jjtolton/error-termination-flag Add -t flag for custom toplevel (replaces --halt-on-error) --- 652e824e59e34779597c9977b3579fdef55b9fd1