]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1727 from triska/clpz_corrections
authorMark Thom <[email protected]>
Mon, 30 Jan 2023 03:23:52 +0000 (04:23 +0100)
committerGitHub <[email protected]>
Mon, 30 Jan 2023 03:23:52 +0000 (04:23 +0100)
DOC: use valid Prolog terms as predicate indicators


Trivial merge