]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1696 from triska/clpz_doc
authorMark Thom <[email protected]>
Tue, 24 Jan 2023 21:45:51 +0000 (22:45 +0100)
committerGitHub <[email protected]>
Tue, 24 Jan 2023 21:45:51 +0000 (22:45 +0100)
DOC: improve CLP(ℤ) DocLog documentation


Trivial merge